Category:Meet-Irreducible Open Set iff Complement is Closed Irreducible Subspace

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Meet-Irreducible Open Set iff Complement is Closed Irreducible Subspace:


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

Let $U \in \tau$.

Let $F = S \setminus U$.


Then:

$U$ is a meet-irreducible open set if and only if $F$ is a closed irreducible subspace