Бесконечно множество: Разлика помеѓу преработките

[проверена преработка][проверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
сНема опис на уредувањето
Ред 14:
Ако едно бесконечно множество е [[добро-подредено множество]], тогаш мора да има непразно подмножество кое нема најголем елемент.
 
Според Цемело-Френкеловата теорија, едно множество е бесконечно [[ако и само ако]] [[партитивно множество|партитивното множество]] на неговото партитивно множество е [[Дедекинд-бесконечно множество]], содржејќи подмножество што е [[рамнобројност|рамнобројно]] само на себе. Ако држи и аксиомата на избор, тогаш бесконечните множествa се токму Дедекинд-бесконечните множества.
 
Ако едно бесконечно множество е добро-подредливо множество, тогаш има многу добри поредоци што се неизоморфни.