Ordinal ëd von Neumann

	Vos an lenga piemontèisa
	Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.

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.