Definition:Countable Finite Intersection Axiom

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $T$ be such that:
 * Every countable set $V_\alpha$ of closed sets of $T$ such that $\displaystyle \bigcap V_\alpha = \varnothing$ contains a finite subset $V_\beta \subseteq V_\alpha$ such that $\displaystyle \bigcap V_\beta = \varnothing$.

Then $T$ satisfies the countable finite intersection axiom.

Also see

 * Definition:Finite Intersection Axiom