Definition:Ordinal/Definition 1

Definition
Let $S$ be a set.

Let $\Epsilon$ be the epsilon relation.

Then $S$ is an ordinal iff $\Epsilon$ strictly well-orders $S$.