Ordinal ëd von Neumann

N'ansem a a l'é dit ordinal ëd von Neumann s'a l'é transitiv e si la relassion d'apartenensa $x\in y$ a l'é l'órdin ës-ciass associà a 'n bon órdin d'a. Un a peul antlora scrive: $x\leq y\Leftrightarrow x\in y\vee x=y$, $x<y\Leftrightarrow x\in y\Leftrightarrow x\leq y\wedge x\neq y$. Për esempi, a son ordinaj ëd von Neumann: $0=\emptyset$ $1=\{\emptyset \}$ $2=\{\emptyset ,\{\emptyset \}\}$ Pì an general, si a a l'é n'ordinal ëd von Neumann, ëdcò $a\cup \{a\}$ a-l l'é. Minca bon órdin a l'é isomorf a n'ordinal ëd von Neumann.