conjunt ben ordenat

m

Matemàtiques

Conjunt ordenat en el qual tot subconjunt no buit té un primer element.

Conjunt ordenat OOO X ,≤OOO si, i només si, tot subconjunt Y ⊆ X , no buit, té primer element. Els nombres ordinals mesuren precisament les diferents menes de bons ordres possibles. És a dir, tot conjunt ben ordenat és ordre-isomorf a un únic nombre ordinal.