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