Uno spazio topologico è una coppia ordinata [latex](X, \tau)[/latex], dove [latex]X[/latex] è un insieme e [latex]\tau[/latex] è un insieme di sottoinsiemi di [latex]X[/latex], detti insiemi aperti, che soddisfa tre assiomi: 1) L'insieme vuoto [latex]emptyset[/latex] e [latex]X[/latex] stesso sono in [latex]\tau[/latex]. 2) L'unione di un numero qualsiasi di insiemi in [latex]\tau[/latex] è anch'essa in [latex]\tau[/latex]. 3) L'intersezione di un numero finito di insiemi in [latex]\tau[/latex] è anche in [latex]\tau[/latex].
