定義
>>319の条件を満たす宇宙 U を固定する。

X ∈ U となる集合 X を小さい集合と呼ぶ。

小さい集合の全体からなる圏を小さい集合の圏といい Set と書く。
U = Ob(Set) である。
X, Y ∈ Ob(Set) のとき Hom(X, Y) は X から Y への写像全体であり、
Hom(X, Y) ∈ U である。