Category:Meet-Irreducible Open Sets
Jump to navigation
Jump to search
This category contains results about Meet-Irreducible Open Sets.
Definitions specific to this category can be found in Definitions/Meet-Irreducible Open Sets.
Let $\struct {S, \tau}$ be a topological space.
Let $W \in \tau$.
Then $W$ is a meet-irreducible open set if and only if:
- $W$ is meet-irreducible in the frame $\struct {\tau, \subseteq}$
That is, $W$ is a meet-irreducible open set if and only if:
- $\forall U, V \in \tau : \paren {U \cap V \subseteq W \implies U \subseteq W \text { or } V \subseteq W}$
Subcategories
This category has only the following subcategory.
Pages in category "Meet-Irreducible Open Sets"
The following 4 pages are in this category, out of 4 total.