Un ordinale (secondo Von Neumann) è un insieme transitivo \(A\) tale che ogni suo elemento è un insieme transitivo.
