 The class V of all sets is  {x : x   = x}. The definability here is in the first-order logic with just a symbol ∈ for membership, and the quantifiers range over sets (not classes). Another class of interest is WF, the class of all well-founded sets. This is the same as   ∪α Vα, the sets that belong to Vα for  some ordinal α. 