Qualsiasi insieme può assumere la struttura di spazio topologico in almeno due modi:
1) topologia discreta
2) topologia indiscreta
Dato un insieme, è sempre possibile definire su di esso una topologia che non sia quella discreta né quella indiscreta?
Se ciò in generale non è possibile, sotto quali condizioni lo è?








