Remark 1.2.6 (Axiom of Universes).label As in Grothendieck’s original proposal we adopt axiom of universes which states:

• For every ZFC-set $s$, there exists a universe $U$ such that $s\in U$.

which means every set is small if your universe is large enough.