base di intorni per un insieme

Definizione

$\mathcal{J}$ famiglia di intorni di $A\subset X$ è base di intorni (o sistema fondamentale di intorni) di $A$ se $\forall L\subset X$ intorno (aperto) di $A$, $\exists J\in \mathcal{J}$ t.c. $A\subset J\subset L$.

Risorse