Remark 27.13.5. What's missing in the list of properties above? Well to be sure the property of being of finite type. The reason we do not list this here is that we have not yet defined the notion of finite type at this point. (Another property which is missing is “smoothness”. And I'm sure there are many more you can think of.)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).