Proprietà di Intersezione Finita

Proprietà di Intersezione Finita

Una collezione $\mathcal{C}$ di sottoinsiemi di uno spazio topologico $X$ ha la proprietà di intersezione finita se:
$\forall$ sottofamiglia finita $\{C_1,..,C_n\}\subseteq \mathcal{C}$ si ha che $\bigcap _{i=1}^n{C}_n\ne \varnothing$.