Kuratowski–Zorn lemma

GPTKB entity