Axiom:Open Set Axioms

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set.

The open set axioms are the conditions under which elements of a subset $\tau \subseteq \powerset S$ of the power set of $S$ need to satisfy in order to be open sets of the topology $\tau$ on $S$:

\((\text O 1)\)   $:$   The union of an arbitrary subset of $\tau$ is an element of $\tau$.      
\((\text O 2)\)   $:$   The intersection of any two elements of $\tau$ is an element of $\tau$.      
\((\text O 3)\)   $:$   $S$ is an element of $\tau$.      

Also see