EDB — 0G6

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

Un insieme $A$ è chiuso se $A^c$ è aperto.