Pages that link to "Definition:Mapping Preserves Supremum/Subset"

What links here

Page:  Namespace:  all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk  Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Definition:Mapping Preserves Supremum/Subset:

Displayed 17 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Suprema Preserving Mapping on Ideals is Increasing ‎ (← links)
• Lower Adjoint Preserves All Suprema ‎ (← links)
• All Suprema Preserving Mapping is Lower Adjoint of Galois Connection ‎ (← links)
• Brouwerian Lattice is Distributive ‎ (← links)
• Meet is Directed Suprema Preserving implies Meet of Suprema equals Supremum of Meet of Directed Subsets ‎ (← links)
• Shift Mapping is Lower Adjoint iff Meet is Distributive with Supremum ‎ (← links)
• Operator Generated by Closure System Preserves Directed Suprema iff Closure System Inherits Directed Suprema ‎ (← links)
• Directed Suprema Preserving Mapping is Increasing ‎ (← links)
• Directed Suprema Preserving Mapping at Element is Supremum ‎ (← links)
• Mapping Preserves Directed Suprema implies Mapping is Continuous ‎ (← links)
• Continuous iff Mapping at Element is Supremum of Compact Elements ‎ (← links)
• Definition:Mapping Preserves Supremum (transclusion) ‎ (← links)
• Definition:Mapping Preserves Supremum/All ‎ (← links)
• Definition:Mapping Preserves Supremum/Join ‎ (← links)
• Definition:Mapping Preserves Supremum/Finite ‎ (← links)
• Definition:Mapping Preserves Supremum/Directed ‎ (← links)
• Definition:Mapping Preserves Supremum of Subset (redirect page) ‎ (← links)
  • Meet-Continuous implies Shift Mapping Preserves Directed Suprema ‎ (← links)
  • Continuous iff Mapping at Element is Supremum of Compact Elements ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)