Diskuse:Ordinální číslo
Z Wikipedie, otevřené encyklopedie
Ordinální číslo se obvykle definuje jako množina, která je ostře dobře uspořádaná relací "být prvkem" a jejíž každý prvek je její podmnožinou. Definice, v níž je místo "ostře dobře - být prvkem" uvedeno "dobře - být podmnožinou" je s touto obvyklou definicí ekvivalentní pouze v případě přijetí axiomu fundovanosti (regularity), který v současné době už příliš často přijímán nebývá. V nefundovaném případě by byl podle zde uvedené definice ordinálem například každý urelement (množina splňující x={x}). Článek opravím Glivi 12:18, 15. 9. 2006 (UTC).
