[2DY] Uno spazio topologico Γ¨ una coppia (X,π) dove X Γ¨ un insieme (non vuoto) con associata la famiglia π degli aperti, che Γ¨ detta topologia.