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