lemat Kuratowskiego-Zorna 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
Definicja
twierdzenie teorii mnogości, nazywane zwyczajowo lematem, dające pewien warunek dostateczny istnienia elementu maksymalnego w danym zbiorze częściowo uporządkowanym.


