[mizar] small types

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Dear All,

here is a linguistic question for the fine English speakers 
and set-theorists which are on this list:

What should be the keyword for the property of Mizar types saying that the 
type's extension is a set (i.e. not a class). The current suggestions are:

1. sethood  (the property of being a set)
2. smallness (the property of being small)
3. comprehension (meaning that comprehension can be carried out over the 
type)

Do you have any feelings about what words are commonly used among 
mathematicians for this property, and what sounds English enough?

Thanks for any comments and ideas,
Josef Urban