Definition:Ordinal/Definition 1

Definition
Let $S$ be a set.

Let $\Epsilon$ be the epsilon relation.

Then $S$ is an ordinal :
 * $S$ is a transitive set
 * $\Epsilon$ strictly well-orders $S$.