Pages that link to "Definition:Transitive"
Jump to navigation
Jump to search
The following pages link to Definition:Transitive:
Displayed 8 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Reflexive Closure of Transitive Antisymmetric Relation is Ordering (← links)
- Equivalence of Definitions of Strict Ordering (← links)
- Restriction of Strict Total Ordering is Strict Total Ordering (← links)
- Inequality of Product of Unequal Numbers (← links)
- Equality to Initial Segment Imposes Well-Ordering (← links)
- User:Ascii/Definitions (← links)
- Definition:Transitivity (redirect page) (← links)
- Directed iff Finite Subsets have Upper Bounds (← links)
- Directed iff Lower Closure Directed (← links)
- Lower Closure is Increasing (← links)
- Infima Preserving Mapping on Filters Preserves Filtered Infima (← links)
- Galois Connection is Expressed by Minimum (← links)
- Galois Connection is Expressed by Maximum (← links)
- Lower Closure of Meet of Lower Closures (← links)
- Lower Closure is Closure Operator (← links)
- Preceding and Way Below implies Way Below (← links)
- Join is Way Below if Operands are Way Below (← links)
- Way Below iff Preceding Finite Supremum (← links)
- Way Below in Meet-Continuous Lattice (← links)
- Way Below in Ordered Set of Topology (← links)
- Way Below in Complete Lattice (← links)
- Preceding is Auxiliary Relation (← links)
- Correctness of Definition of Increasing Mappings Satisfying Inclusion in Lower Closure (← links)
- Continuous Lattice is Meet-Continuous (← 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)
- Prime Element iff Complement of Lower Closure is Filter (← links)
- Finite Subset Bounds Element of Finite Infima Set and Upper Closure (← links)
- If Ideal and Filter are Disjoint then There Exists Prime Ideal Including Ideal and Disjoint from Filter (← links)
- Way Below iff Second Operand Preceding Supremum of Prime Ideal implies First Operand is Element of Ideal (← links)
- Characterization of Pseudoprime Element when Way Below Relation is Multiplicative (← links)
- Way Below Relation is Multiplicative implies Pseudoprime Element is Prime (← links)
- Algebraic iff Continuous and For Every Way Below Exists Compact Between (← links)
- Preceding implies if Less Upper Bound then Greater Upper Bound (← links)
- Arithmetic iff Compact Subset form Lattice in Algebraic Lattice (← links)
- Ordered Set of All Mappings is Ordered Set (← links)
- Ordered Subset of Ordered Set is Ordered Set (← links)
- Operator Generated by Closure System Preserves Directed Suprema iff Closure System Inherits Directed Suprema (← links)
- Infimum Precedes Coarser Infimum (← links)
- Finer Supremum Precedes Supremum (← links)
- Relational Structure with Topology of Subsets with Property (S) is Topological Space (← links)
- Finite Infima Set of Coarser Subset is Coarser than Finite Infima Set (← links)
- Upper Closure of Coarser Subset is Subset of Upper Closure (← links)
- Ideals form Arithmetic Lattice (← links)
- Image under Increasing Mapping equal to Special Set is Complete Lattice (← links)
- Image of Compact Subset under Directed Suprema Preserving Closure Operator is Subset of Compact Subset (← links)
- Mapping Assigning to Element Its Compact Closure Preserves Infima and Directed Suprema (← links)
- Compact Closure is Increasing (← links)
- Set of Upper Closures of Compact Elements is Basis implies Complete Scott Topological Lattice is Algebraic (← links)
- Completely Irreducible Element iff Exists Element that Strictly Succeeds First Element (← links)
- Intersection of Upper Closures is Upper Closure of Join Operands (← links)
- Not Preceding implies Exists Completely Irreducible Element in Algebraic Lattice (← links)
- Completely Irreducible Element equals Infimum of Subset implies Element Belongs to Subset (← links)
- Continuous iff Mapping at Limit Inferior Precedes Limit Inferior of Composition of Mapping and Sequence (← links)
- Preceding implies Image is Subset of Image (← links)
- Mapping Preserves Non-Empty Infima implies Mapping is Continuous in Lower Topological Lattice (← links)
- Definition:Transitive Closure (← links)