Lemat Katětova
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. PWN, Warszawa 2007, s. 221–222.