Hausdorff maximal principle

GPTKB entity