Definition:Finite Intersection Axiom

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T = \struct {S, \tau}$ be a topological space.


Let $T$ be such that:

Every set $V_\alpha$ of closed sets of $T$ such that $\displaystyle \bigcap V_\alpha = \O$ contains a finite subset $V_\beta \subseteq V_\alpha$ such that $\displaystyle \bigcap V_\beta = \O$.


Then $T$ satisfies the finite intersection axiom.


Also see


Sources