Pages that link to "Definition:Filter in Ordered Set"
Jump to navigation
Jump to search
The following pages link to Definition:Filter in Ordered Set:
Displayed 16 items.
- Infima Preserving Mapping on Filters is Increasing (← links)
- Upper Closure of Element is Filter (← links)
- Infima Preserving Mapping on Filters Preserves Filtered Infima (← links)
- Suprema Preserving Mapping on Ideals Preserves Directed Suprema (← 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)
- Prime Element iff Complement of Lower Closure is Filter (← links)
- Prime Element iff There Exists Way Below Open Filter which Complement has Maximum (← links)
- Characterization of Prime Ideal (← links)
- Ideal is Filter in Dual Ordered Set (← links)
- Top in Filter (← links)
- Coarser Between Generator Set and Filter is Generator Set of Filter (← links)
- Power Set is Filter in Lattice of Power Set (← links)
- Singleton of Set is Filter in Lattice of Power Set (← links)