Properties of Class of All Ordinals/Superinduction Principle

Theorem
Let $\On$ denote the class of all ordinals.

Let $A$ be a class which satisfies the following $3$ conditions:

Then $A$ contains all ordinals:
 * $\On \subseteq A$