Pages that link to "Definition:Upper Section"
Jump to navigation
Jump to search
The following pages link to Definition:Upper Section:
Displayed 50 items.
- Dual Pairs (Order Theory) (← links)
- Equivalence of Definitions of Generalized Ordered Space (← links)
- Convex Set Characterization (Order Theory) (← links)
- Upper Closure is Upper Section (← links)
- Equivalence of Definitions of Generalized Ordered Space/Definition 1 implies Definition 3 (← links)
- Upper Section is Convex (← links)
- GO-Space Embeds Densely into Linearly Ordered Space (← links)
- Upper Section with no Minimal Element (← links)
- Upper Section with no Smallest Element is Open in GO-Space (← links)
- Lower Section with no Maximal Element (← links)
- Lower Section is Dual to Upper Section (← links)
- Complement of Lower Section is Upper Section (← links)
- Union of Total Ordering with Lower Sections is Total Ordering (← links)
- Ordered Set is Upper Section in Itself (← links)
- Equivalence of Definitions of Generalized Ordered Space/Definition 3 implies Definition 1 (← links)
- Strict Upper Closure is Upper Section (← links)
- Strict Lower Closure is Lower Section (← links)
- Strict Lower Closure is Lower Section/Proof 2 (← links)
- Upper Closure is Smallest Containing Upper Section (← links)
- Upper Closure is Closure Operator (← links)
- Equivalence of Definitions of Upper Section (← links)
- Filtered in Meet Semilattice (← links)
- Filtered in Meet Semilattice with Finite Infima (← links)
- Upper Closure of Element is Filter (← links)
- Infima Preserving Mapping on Filters Preserves Filtered Infima (← links)
- Upper Closure of Element without Element is Filter implies Element is Meet Irreducible (← links)
- Maximal Element of Complement of Filter is Meet Irreducible (← links)
- Not Preceding implies There Exists Meet Irreducible Element Not Preceding (← links)
- Way Below implies There Exists Way Below Open Filter Subset of Way Above Closure (← links)
- Union of Upper Sections is Upper (← links)
- Upper Way Below Open Subset Complement is Non Empty implies There Exists Maximal Element of Complement (← links)
- Prime Element iff Complement of Lower Closure is Filter (← links)
- Characterization of Prime Ideal (← links)
- Ideal is Filter in Dual Ordered Set (← links)
- Filter is Prime iff For Every Element Element either Negation Belongs to Filter in Boolean Lattice (← links)
- Proper and Prime iff Ultrafilter in Boolean Lattice (← links)
- Finite Infima Set and Upper Closure is Smallest Filter (← links)
- Top in Filter (← links)
- Finite Infima Set and Upper Closure is Filter (← links)
- If Ideal and Filter are Disjoint then There Exists Prime Ideal Including Ideal and Disjoint from Filter (← links)
- Bottom not in Proper Filter (← links)
- Multiplicative Auxiliary Relation iff Images are Filtered (← links)
- Auxiliary Relation Image of Element is Upper Section (← links)
- Intersection of Upper Section with Directed Set is Directed Set (← links)
- Complement of Upper Section is Lower Section (← links)
- Closed Set iff Lower and Closed under Directed Suprema in Scott Topological Ordered Set (← links)
- Open iff Upper and with Property (S) in Scott Topological Lattice (← links)
- Coarser Between Generator Set and Filter is Generator Set of Filter (← links)
- Set Coarser than Upper Section is Subset (← links)
- Upper Closure is Compact in Topological Lattice (← links)