An ordinal (according to Von Neumann) is a transitive set \(A\) such that any element in \(A\) is a transitive set.
