is an inductive cardinal number. But

is under no circumstances capable of being identified with

, which is not a relation, but a class of classes. Indeed,

is every bit as distinct from

as