Ordinamento, non dico buono, ma almeno decente

[edriv]

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!