Definizione
2
[0GW] 1 Sia \((X, τ )\) uno spazio topologico e sia \(x_ 0 ∈ X\).
Si chiama intorno di \(x_ 0\) un qualunque soprainsieme di un aperto contenente \(x_ 0\) .
Si chiama sistema fondamentale di intorni di \(x_ 0\) una famiglia \(\{ U_ i \} _{i∈I}\) di intorni di \(x_ 0\) con la proprietà che ogni intorno di \(x_ 0\) contenga almeno uno degli \(U_ i\) .
Diremo che \(U\) è un intorno aperto di \(x_ 0\) semplicemente per dire che \(U\) è un aperto che contiene \(x_ 0\).