 Examples include the class of all sets, the class of all ordinal numbers, and the class of all cardinal numbers.One way to prove that a class is proper is to place it in bijection with the class of all ordinal numbers.This method is used, for example, in the proof that there is no free complete lattice on three or more generators.