[002V] Definition 4.4·b (Definable class of sets).

A class of sets $\mathfrak{C}\subseteq\mathscr{M}$ is called definable when for any representable class $\mathfrak{S}$, the class $\mathfrak{C}\cap\mathfrak{S}$ is representable.