Category:Definitions/Order Theory
This category contains definitions related to Order Theory.
Related results can be found in Category:Order Theory.
Order theory is the branch of relation theory which studies orderings.
Subcategories
This category has the following 30 subcategories, out of 30 total.
B
C
D
F
I
L
M
N
O
P
R
S
T
U
W
Pages in category "Definitions/Order Theory"
The following 200 pages are in this category, out of 287 total.
(previous page) (next page)A
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- Definition:Algebraic Ordered Set
- Definition:Approximating Relation
- Definition:Archimedean Property/Ordering
- Definition:Arithmetic Ordered Set
- Definition:Ascending Chain Condition
- Definition:Auxiliary Relation
- Definition:Axiom of Approximation
- Definition:Axiom of K-Approximation
C
- Definition:Cartesian Product of Ordered Sets
- Definition:Category of Ordered Sets
- Definition:Chain (Set Theory)
- Definition:Chain Complete Set
- Definition:Close Packed
- Definition:Close Packed/Subset
- Definition:Closed under Directed Suprema
- Definition:Closure System
- Definition:Compact Closure
- Definition:Compact Element
- Definition:Complete Ordered Set
- Definition:Completely Irreducible
- Definition:Continuous Lattice Subframe
- Definition:Continuous Ordered Set
- Definition:Convex Set (Order Theory)
D
- Definition:Decreasing
- Definition:Dedekind Complete Set
- Definition:Dedekind Completion
- Definition:Dedekind Cut
- Definition:Dedekind Cut/Definition 1
- Definition:Dedekind Cut/Definition 2
- Definition:Dedekind-MacNeille Completion
- Definition:Dense
- Definition:Dense (Order Theory)
- Definition:Dense (Order Theory)/Element
- Definition:Dense (Order Theory)/Subset
- Definition:Densely Ordered
- User:Dfeuer/Definition:Positive Cone
- User:Dfeuer/Definition:Strict Total Positive Cone
- User:Dfeuer/Definition:Strictly Positive Cone
- User:Dfeuer/Definition:Total Positive Cone
- Definition:Directed Preorder
- Definition:Directed Suprema Inheriting
- Definition:Distributive Lattice
- Definition:Dual Isomorphism (Order Theory)
- Definition:Dual Ordered Set
- Definition:Dual Ordering
- Definition:Dual Ordering/Dual Ordered Set
- Definition:Dual Statement (Order Theory)
G
- Definition:Galois Connection
- Definition:Generalized Ordered Space
- Definition:Generator Set of Filter
- Definition:Greatest
- Definition:Greatest Element
- Definition:Greatest Element of Subset
- Definition:Greatest Set
- Definition:Greatest/Ordered Set
- Definition:Greatest/Ordered Set/Comparison with Maximal Element
- Definition:Greatest/Ordered Set/Subset
- Definition:Greatest/Set
I
- Definition:Ideal (Order Theory)
- Definition:Immediate Predecessor Element
- Definition:Immediate Successor Element
- Definition:Inaccessible by Directed Suprema
- Definition:Inclusion Ordered Set
- Definition:Inclusion Relation
- Definition:Increasing
- Definition:Increasing Mappings Satisfying Inclusion in Lower Closure
- Definition:Inductive Ordered Set
- Definition:Inequality
- Definition:Infima Inheriting
- Definition:Inflationary Mapping
- Definition:Initial Segment
- Definition:Interval/Ordered Set
- Definition:Inverse Ordered Set
- Definition:Inverse Ordering
- Definition:Inverse Relation/Ordering Notation
- Definition:Inverse Relation/Strict Ordering Notation
L
M
- Definition:Max Operation
- Definition:Max Operation/General Definition
- Definition:Maximal
- Definition:Maximal Chain
- Definition:Maximal Element
- Definition:Maximal Set
- Definition:Maximal Value
- Definition:Maximal/Mapping
- Definition:Maximal/Ordered Set
- Definition:Maximal/Ordered Set/Comparison with Greatest Element
- Definition:Maximal/Ordered Set/Definition 1
- Definition:Maximal/Ordered Set/Definition 2
- Definition:Maximal/Set
- Definition:Maximum
- Definition:Meet (Order Theory)
- Definition:Meet Closed
- Definition:Meet Irreducible
- Definition:Meet-Continuous Lattice
- Definition:Min Operation
- Definition:Minimal
- Definition:Minimal Condition/Ordered Set
- Definition:Minimal Element
- Definition:Minimal Set
- Definition:Minimal Uncountable Well-Ordered Set
- Definition:Minimal Value
- Definition:Minimal/Ordered Set
- Definition:Minimal/Ordered Set/Comparison with Smallest Element
- Definition:Minimal/Ordered Set/Definition 1
- Definition:Minimal/Ordered Set/Definition 2
- Definition:Minimal/Set
- Definition:Minimum
- Definition:Monotone (Order Theory)
- Definition:Monotone (Order Theory)/Mapping
- Definition:Monotone (Order Theory)/Sequence
- Definition:Monotone (Order Theory)/Sequence/Real Sequence
- Definition:Monotone Mapping
- Definition:Monotone Sequence
- Definition:Monotonicity
- Definition:Multiplicative Relation
N
O
- Definition:Order Complete Set
- Definition:Order Complete Set/Definition 1
- Definition:Order Complete Set/Definition 2
- Definition:Order Completion
- Definition:Order Embedding
- Definition:Order Isomorphism
- Definition:Order Theory
- Definition:Order Type
- Definition:Order Type of Natural Numbers
- Definition:Order-Preserving
- Definition:Order-Preserving Mapping
- Definition:Order-Reflecting Mapping
- Definition:Ordered by Inclusion
- Definition:Ordered Product
- Definition:Ordered Product/General Definition
- Definition:Ordered Set
- Definition:Ordered Set of All Mappings
- Definition:Ordered Set of Closure Operators
- Definition:Ordered Set of Closure Systems
- Definition:Ordered Set of Increasing Mappings
- Definition:Ordered Set of Subalgebras
- Definition:Ordered Structure
- Definition:Ordered Sum
- Definition:Ordered Sum/General Definition
- Definition:Ordering
- Definition:Ordering Induced by Injection
- Definition:Ordering Induced by Positivity Property
- Definition:Ordering on Extended Real Numbers
- Definition:Ordering on Integers
- Definition:Ordering on Mappings
- Definition:Ordering on Natural Numbers
- Definition:Ordering/Definition 1
- Definition:Ordering/Definition 2
- Definition:Ordering/Notation
- Definition:Ordering/Partial vs. Total
- Definition:Ordering/Size
- Definition:Ordinal
P
- Definition:Partial Ordering
- Definition:Partially Ordered Set
- Definition:Pointwise Inequality
- Definition:Pointwise Inequality of Extended Real-Valued Functions
- Definition:Pointwise Inequality of Real-Valued Functions
- Definition:Pointwise Supremum
- Definition:Pointwise Supremum of Extended Real-Valued Functions
- Definition:Pointwise Supremum of Real-Valued Functions
- Definition:Positive
- Definition:Positive Rational Number
- Definition:Positive Real Number
- Definition:Positive/Integer
- Definition:Positive/Number
- Definition:Positive/Rational Number
- Definition:Positive/Real Number
- Definition:Positively Totally Ordered Semigroup
- Definition:Positivity Property
- Definition:Precede
- Definition:Precede/Also known as
- Definition:Predecessor
- Definition:Predecessor Element
- Definition:Prime Element (Order Theory)
- Definition:Prime Filter (Order Theory)
- Definition:Prime Ideal (Order Theory)
- Definition:Progressing Mapping
- Definition:Property (S)
