[002U] Definition 4.4·a (Representable class of sets).

A class of sets $\mathfrak{C}\subseteq\mathscr{M}$ is called representable when there is a set $C\in\mathscr{M}$ such that $U\in C$ if and only if $U\in\mathfrak{C}$.