Twierdzenie Hausdorffa
Z Wikipedii
Twierdzenie Hausdorffa w teorii mnogości zostało zdefiniowane przez Feliksa Hausdorffa.
[edytuj] Teza
Jeżeli jest częściowo uporządkowanym zbiorem, to zawiera łańcuch maksymalny (tj. taki podzbiór całkowicie uporządkowany, dla którego nie istnieje żaden zawierający go podzbiór całkowicie uporządkowany zbioru R).
[edytuj] Dowód
...