Definizione
3
[0G6] La topologia \(𝜏⊆{\mathcal P}(X)\) è una famiglia di sottoinsiemi di \(X\) che vengonono chiamati aperti. Questa famiglia gode di tre proprietà: \(∅,X\) sono aperti; l’intersezione di un numero finito di aperti è un aperto; l’unione di un numero arbitrario di aperti è un aperto.