jest zawarty w pewnym ideale maksymalnym. (To twierdzenie, udowodnione przez Tarskiego, wymaga pewnej formy AC.) Jeśli jest ideałem podzbiorów który zawiera wszystkie zbiory jednopunktowe, to i Współczynniki kardynalne ideałów i były intensywnie studiowane także i w Polsce w latach 80. XX wieku. Są one głównymi elementami tzw. diagramu Cichonia.
Kategoria:Rodziny zbiorów Kategoria:Algebra zbiorów