Zorn's lemma

GPTKB entity