Category:Order Theory
Jump to navigation
Jump to search
This category contains results about Order Theory.
Definitions specific to this category can be found in Definitions/Order Theory.
Order theory is the branch of relation theory which studies orderings.
Subcategories
This category has the following 88 subcategories, out of 88 total.
A
- Approximating Relations (10 P)
- Auxiliary Relations (21 P)
B
C
- Comparable Sets (empty)
- Complete Lattices (35 P)
- Convex Sets (12 P)
D
- Decreasing Mappings (2 P)
- Dedekind Complete Sets (1 P)
- Dual Orderings (18 P)
E
- Examples of Orderings (6 P)
F
G
H
- Hausdorff Maximal Principle (4 P)
I
J
L
- Lexicographic Order (11 P)
M
- Max Operation (20 P)
- Meet Irreducible (19 P)
- Min Operation (14 P)
- Monotone Mappings (4 P)
N
- Negative Numbers (empty)
- Nests (1 P)
O
- Order Complete Sets (1 P)
- Order Generating (5 P)
- Order-Extension Principle (3 P)
- Ordered Geometry (1 P)
- Ordered Sets (1 P)
- Ordered Sums (2 P)
- Ordering Principle (3 P)
- Orderings (14 P)
- Orderings on Integers (12 P)
P
- Prime Elements (19 P)
- Prime Ideals (Order Theory) (13 P)
R
- Rays (Order Theory) (1 P)
S
- Simple Order Product (4 P)
T
- Topological Order Theory (34 P)
- Trichotomies (2 P)
U
- Upper Sets (17 P)
W
- Way Below Relation (65 P)
Pages in category "Order Theory"
The following 152 pages are in this category, out of 152 total.
A
C
- Canonical Order Well-Orders Ordered Pairs of Ordinals
- Chain is Directed
- Closure Operator from Closed Elements
- Complement of Closed under Directed Suprema Subset is Inaccessible by Directed Suprema
- Complement of Inaccessible by Directed Suprema Subset is Closed under Directed Suprema
- Complement of Subset with Property (S) is Closed under Directed Suprema
- Composition of Inflationary Mappings is Inflationary
- Condition for Power Set to be Totally Ordered
- Copi's Identity
- Correctness of Definition of Increasing Mappings Satisfying Inclusion in Lower Closure
- Countable Subset of Minimal Uncountable Well-Ordered Set Has Upper Bound
D
- Dedekind Completeness is Self-Dual
- Dedekind Completion is Unique up to Isomorphism
- Diagonal Relation is Ordering and Equivalence
- Directed Set has Strict Successors iff Unbounded Above
- Dominance Relation is Ordering
- Dual of Dual Statement (Order Theory)
- Dual Pairs (Order Theory)
- Duality Principle (Order Theory)
- Duality Principle (Order Theory)/Global Duality
- Duality Principle (Order Theory)/Local Duality
E
- Equivalence Induced on Preordering defines Ordering
- Equivalence of Definitions of Minimal Element
- Equivalence of Definitions of Order Complete Set
- Equivalence of Definitions of Strict Well-Ordering
- Every Element is Directed and Every Two Elements are Included in Third Element implies Union is Directed
- Existence of Dedekind Completion
- Existence of Minimal Uncountable Well-Ordered Set
- Extension of Directed Suprema Preserving Mapping to Complete Lattice Preserves Directed Suprema
- Extension of Infima Preserving Mapping to Complete Lattice Preserves Infima
F
- Filter is Ideal in Dual Ordered Set
- Finite Infima Set and Upper Closure is Filter
- Finite Infima Set and Upper Closure is Smallest Filter
- Finite Infima Set of Coarser Subset is Coarser than Finite Infima Set
- Finite Suprema Set and Lower Closure is Ideal
- Finite Suprema Set and Lower Closure is Smallest Ideal
- Fixed Point of Composition of Inflationary Mappings
I
- Ideal is Filter in Dual Ordered Set
- Ideals form Complete Lattice
- Image of Directed Subset under Increasing Mapping is Directed
- Infima Preserving Mapping on Filters is Increasing
- Infima Preserving Mapping on Filters Preserves Filtered Infima
- Infimum in Ordered Subset
- Infimum is not necessarily Smallest Element
- Infimum of Infima
- Infimum of Power Set
- Infimum of Subset
- Initial Segment of Canonical Order is Set
- Intersection of Subset with Lower Bounds
- Intersection of Subset with Upper Bounds
- Interval of Ordered Set is Convex
- Inverse Image of Convex Set under Monotone Mapping is Convex
- Isomorphism to Closed Interval
L
M
- Mapping at Limit Inferior Precedes Limit Inferior of Composition Mapping and Sequence implies Mapping Preserves Directed Suprema
- Mapping at Limit Inferior Precedes Limit Inferior of Composition Mapping and Sequence implies Supremum of Image is Mapping at Supremum of Directed Subset
- Mapping is Increasing implies Mapping at Infimum for Sequence Precedes Infimum for Composition of Mapping and Sequence
- Mapping Preserves Finite and Directed Suprema
- Mapping Preserves Finite and Filtered Infima
- Mappings Partially Ordered by Extension
- Maximal Element of Complement of Filter is Meet Irreducible
- Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice
- Meet Irreducible iff Finite Infimum equals Element
- Minimal Uncountable Well-Ordered Set Unique up to Isomorphism
- Multiplicative Auxiliary Relation iff Congruent
- Multiplicative Auxiliary Relation iff Images are Filtered
N
O
- Order Completion Unique up to Isomorphism
- Order Isomorphism between Ordinals and Proper Class/Lemma
- Order-Extension Principle
- Order-Extension Principle/Strict
- Order-Extension Principle/Strict/Finite Set
- Order-Extension Principle/Strict/Proof 1
- Order-Extension Principle/Strict/Proof 2
- Ordered Set is Convex in Itself
- Ordered Set of All Mappings is Ordered Set
- Ordered Set of Closure Systems is Ordered Set
- Ordered Subset of Ordered Set is Ordered Set
- Ordering can be Expanded to compare Additional Pair
- Ordering Cycle implies Equality
- Ordering Cycle implies Equality/General Case
- Ordering Induced by Injection is Ordering
- Ordering Induced by Join Semilattice
- Ordering of Inverses in Ordered Monoid
- Ordering Principle
P
R
S
- Set is Subset of Finite Infima Set
- Set is Subset of Lower Closure
- Set is Subset of Upper Closure
- Set of Chains is Chain Complete for Inclusion
- Set of Infima for Sequence is Directed
- Set of Mappings can be Ordered by Inclusion
- Set of Relations can be Ordered by Inclusion
- Singleton is Chain
- Singleton of Bottom is Ideal
- Strict Weak Ordering Induces Partition
- Strictly Monotone Mapping is Monotone
- Strictly Monotone Mapping with Totally Ordered Domain is Injective
- Strictly Succeed is Dual to Strictly Precede
- Subset and Image Admit Infima and Mapping is Increasing implies Infimum of Image Succeeds Mapping at Infimum
- Subset and Image Admit Suprema and Mapping is Increasing implies Supremum of Image Precedes Mapping at Supremum
- Subset of Natural Numbers is Cofinal iff Infinite
- Subset Relation is Ordering/General Result
- Succeed is Dual to Precede
- Suprema Preserving Mapping on Ideals is Increasing
- Suprema Preserving Mapping on Ideals Preserves Directed Suprema
- Supremum in Ordered Subset
- Supremum is Increasing relative to Product Ordering
- Supremum is not necessarily Greatest Element
- Supremum is Unique
- Supremum of Power Set
- Supremum of Subset
- Supremum of Suprema
- Szpilrajn Extension Theorem
T
U
- Union of Chain of Chains is Chain
- Union of Initial Segments is Initial Segment or All of Woset
- Union of Nest of Orderings is Ordering
- Up-Complete Product
- Up-Complete Product/Lemma 1
- Up-Complete Product/Lemma 2
- Upper Bound for Subset
- Upper Bound is Dual to Lower Bound
- Upper Bound is Lower Bound for Inverse Ordering
- Upper Closure of Element without Element is Filter implies Element is Meet Irreducible
- Upper Closure of Subset is Subset of Upper Closure