User:Dfeuer/Definition:Ordinal

Definition
NOT S &amp; F's definition.

An ordinal is a transitive set which is well-ordered by the epsilon relation.