Definition:Ordinal/Definition 2

Definition
Let $A$ be a set.

Then $A$ is an ordinal iff $A$ is:


 * transitive


 * epsilon-connected


 * That is, for all $x,y \in A$, $x ≠ y \implies x \in y \lor y \in x$.


 * well-founded