OliForum Matematico

Dimostrare che uno spazio compatto, Hausdorff e con una base numerabile può essere ordinato in modo che ogni chiuso abbia un minimo.

Ah, non vale usare qualsiasi assioma che renda troppo comoda la faccenda!