Pages that link to "Definition:Reflexivity"
Jump to navigation
Jump to search
The following pages link to Definition:Reflexivity:
Displayed 50 items.
- Equivalence of Definitions of Ordering (← links)
- Equivalence of Definitions of Ordering/Proof 2 (← links)
- Singleton is Directed and Filtered Subset (← links)
- Directed iff Lower Closure Directed (← links)
- Upper Closure of Element is Filter (← links)
- Lower Closure of Element is Ideal (← links)
- Galois Connection is Expressed by Minimum (← links)
- Galois Connection is Expressed by Maximum (← links)
- Galois Connection Implies Order on Mappings (← links)
- Top equals to Relative Pseudocomplement in Brouwerian Lattice (← links)
- Meet-Continuous iff Ideal Supremum is Meet Preserving (← links)
- Lower Closure is Closure Operator (← links)
- Preceding iff Meet equals Less Operand (← links)
- Meet-Continuous iff Meet Preserves Directed Suprema (← links)
- Way Below implies Preceding (← links)
- Way Below Relation is Transitive (← links)
- Way Below in Meet-Continuous Lattice (← links)
- Auxiliary Relation is Congruent (← links)
- Auxiliary Relation is Transitive (← links)
- Relation Segment of Auxiliary Relation is Ideal (← links)
- Correctness of Definition of Increasing Mappings Satisfying Inclusion in Lower Closure (← links)
- Preceding implies Inclusion of Segments of Auxiliary Relation (← links)
- Intersection of Ideals with Suprema Succeed Element equals Way Below Closure of Element (← links)
- Way Below Closure is Ideal in Bounded Below Join Semilattice (← links)
- Meet-Continuous iff if Element Precedes Supremum of Directed Subset then Element equals Supremum of Meet of Element by Directed Subset (← links)
- Intersection of Relation Segments of Approximating Relations equals Way Below Closure (← links)
- Preceding iff Join equals Larger Operand (← links)
- Auxiliary Approximating Relation has Interpolation Property (← links)
- Way Below iff Second Operand Preceding Supremum of Directed Set There Exists Element of Directed Set First Operand Way Below Element (← links)
- Way Below Closure is Lower Section (← links)
- Way Below implies There Exists Way Below Open Filter Subset of Way Above Closure (← links)
- Upper Way Below Open Subset Complement is Non Empty implies There Exists Maximal Element of Complement (← links)
- Singleton is Chain (← links)
- Chain is Directed (← links)
- Prime Element is Meet Irreducible (← 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)
- Set is Subset of Upper Closure (← links)
- Set is Subset of Lower Closure (← links)
- If Element Does Not Belong to Ideal then There Exists Prime Ideal Including Ideal and Excluding Element (← links)
- Characterization of Pseudoprime Element by Finite Infima (← links)
- Auxiliary Relation Image of Element is Upper Section (← links)
- Multiplicative Auxiliary Relation iff Congruent (← links)
- If Every Element Pseudoprime is Prime then Way Below Relation is Multiplicative (← links)
- Upper Closure of Element is Way Below Open Filter iff Element is Compact (← links)
- Way Below is Congruent for Join (← links)
- Compact Closure is Subset of Way Below Closure (← links)
- Ordered Set of All Mappings is Ordered Set (← links)
- Ordered Subset of Ordered Set is Ordered Set (← links)
- Operator Generated by Closure System is Closure Operator (← links)