EDB — 0KX

[0KX]Sia \({\mathcal B}\) una base per una topologia \(𝜏\) su \(X\); allora valgono le due proprietà seguenti.

(a)

\(\underline⋃ {\mathcal B} = X\) cioè l’unione di tutti gli elementi della base è \(X\).

(b)

Dati \(B_ 1,B_ 2∈ {\mathcal B}\) per ogni \(x∈ B_ 1∩ B_ 2\) esiste \(B_ 3∈ {\mathcal B}\) tale che \(x∈ B_ 3⊆ B_ 1∩ B_ 2\).