Kuratowski's 14-set theorem

GPTKB entity