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