The precise meaning of small set depends on the choice of foundation being used.
In and its conservative extensions (e.g. ),
the term merely emphasizes that a set is not a proper class.
In foundations with universes such as , a set is small with respect to a universe if . #m/def/set/tg
In type theory, it is an h-set which is also a small type.