Hausdorff maximal principle (source code)

= Hausdorff maximal principle
{wiki=Hausdorff_maximal_principle}