Lemat Katětova – twierdzenie dotyczące kombinatoryki zbiorów nieskończonych udowodnione w 1967 roku przez Miroslava Katětova. Lemat Katětova bywa wykorzystywany do dowodu słabej antysymetrii porządku Rudin-Keislera.
Twierdzenie Niech będzie nieskończoną liczbą kardynalną. Dla każdej funkcji istnieją takie zbiory parami rozłączne że
oraz dla każdego
a ponadto
dla każdego
Bibliografia Aleksander Błaszczyk, Sławomir Turek: Wstęp do teorii mnogości, Wydawnictwo Naukowe PWN, Warszawa 2007, s. 221–222.
Kategoria:Kombinatoryka K Kategoria:Twierdzenia o nieskończonych liczbach kardynalnych