Innym możliwym wytłumaczeniem jest fakt, że jeśli jest zupełną algebrą Boole’a, to każdy antyłańcuch w jest przeliczalny wtedy i tylko wtedy, gdy w algebrze nie istnieje nieprzeliczalny ściśle malejący ciąg
Funkcje kardynalne W porządkach skończonych wprowadza się długość porządku (czasami zwaną też wysokością porządku) jako ilość elementów w najdłuższym łańcuchu w tym porządku. Dwie funkcje kardynalne na algebrach Boole’a, głębokość i długość są bezpośrednio związane ze strukturą łańcuchów w rozważanej algebrze. Niech będzie algebrą Boole’a. Określamy jest łańcuchem jest dobrze uporządkowanym łańcuchem
Linki zewnętrzne [dostęp 2026-02-15].
Kategoria:Porządki