Category:Definitions/Order Theory
Jump to navigation
Jump to search
(previous page) (next page)
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 60 subcategories, out of 60 total.
A
B
C
- Definitions/Comparable Sets (5 P)
- Definitions/Convex Sets (4 P)
D
- Definitions/Decreasing Mappings (17 P)
- Definitions/Dedekind Cuts (4 P)
- Definitions/Densely Ordered (6 P)
- Definitions/Dual Orderings (6 P)
F
G
I
- Definitions/Inequalities (7 P)
- Definitions/Infima (25 P)
L
- Definitions/Lower Sets (1 P)
M
- Definitions/Max Operation (3 P)
- Definitions/Maximal Elements (8 P)
- Definitions/Min Operation (2 P)
- Definitions/Minimal Elements (8 P)
N
- Definitions/Negative Numbers (2 P)
O
- Definitions/Order Sums (3 P)
- Definitions/Order Types (5 P)
- Definitions/Ordered Fields (3 P)
- Definitions/Ordered Geometry (1 P)
- Definitions/Ordered Sums (3 P)
- Definitions/Orderings (7 P)
P
R
S
- Definitions/Suprema (33 P)
T
U
- Definitions/Upper Sets (4 P)
W
Pages in category "Definitions/Order Theory"
The following 200 pages are in this category, out of 241 total.
(previous page) (next page)A
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- Definition:Algebraic Ordered Set
- Definition:Antilexicographic Order
- 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:Category of Ordered Sets
- Definition:Chain (Set Theory)
- Definition:Chain Complete Set
- Definition:Closed under Directed Suprema
- Definition:Closure System
- Definition:Compact Closure
- Definition:Compact Element
- Definition:Comparable Sets
- Definition:Comparable Sets/Subset Ordering
- Definition:Completely Irreducible
- Definition:Continuous Lattice Subframe
- Definition:Continuous Ordered Set
- Definition:Convex Set (Order Theory)
- Definition:Cut (Analysis)
D
- Definition:Decreasing
- Definition:Dedekind Complete Set
- Definition:Dedekind Completion
- Definition:Dedekind Cut
- Definition:Dedekind-MacNeille Completion
- Definition:Dense
- 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 Ordering
- Definition:Dual Statement (Order Theory)
E
G
- Definition:Galois Connection
- Definition:Generator Set of Filter
- Definition:Greatest
- Definition:Greatest Element of Subset
- Definition:Greatest Set by Set Inclusion
- Definition:Greatest Set by Set Inclusion (Class Theory)
- Definition:Greatest Set by Set Inclusion/Class Theory
- Definition:Greatest/Ordered Set
- Definition:Greatest/Ordered Set/Subset
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
L
M
- Definition:Max Operation
- Definition:Max Operation (General Case)
- Definition:Maximal
- Definition:Maximal Chain
- Definition:Maximal Set
- Definition:Maximal/Element
- Definition:Maximal/Set
- Definition:Meet (Order Theory)
- Definition:Meet Closed
- Definition:Meet Irreducible
- Definition:Meet-Continuous Lattice
- Definition:Min Operation
- Definition:Min Operation (General Case)
- Definition:Minimal
- Definition:Minimal Condition/Ordered Set
- Definition:Minimal Set
- Definition:Minimal Uncountable Well-Ordered Set
- Definition:Minimal/Element
- Definition:Minimal/Set
- 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 Product
- Definition:Order Sum
- Definition:Order Theory
- Definition:Order Type
- Definition:Order-Preserving
- Definition:Order-Preserving Mapping
- Definition:Order-Reflecting Mapping
- Definition:Ordered by Inclusion
- 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 Induced by Preordering
- Definition:Ordering on Extended Real Numbers
- Definition:Ordering on Integers
- Definition:Ordering on Mappings
- Definition:Ordering on Natural Numbers
- 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:Positive
- Definition:Positive Real Number
- Definition:Positive/Integer
- Definition:Positive/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)
S
- Definition:Scott Sigma
- Definition:Self-Dual (Order Theory)
- Definition:Set Ordered by Inclusion
- Definition:Simple Order Product
- Definition:Smallest
- Definition:Smallest Set by Set Inclusion
- Definition:Smallest Set by Set Inclusion (Class Theory)
- Definition:Smallest Set by Set Inclusion/Class Theory
- Definition:Smallest/Ordered Set
- Definition:Smallest/Ordered Set/Subset
- Definition:Strict Down-Set
- Definition:Strict Initial Segment
- Definition:Strict Lower Set
- Definition:Strict Ordering
- Definition:Strict Predecessor
- Definition:Strict Successor
- Definition:Strict Weak Ordering
- Definition:Strictly Between
- Definition:Strictly Monotone
- Definition:Strictly Monotone Mapping
- Definition:Strictly Monotone Sequence
- Definition:Strictly Monotone/Sequence
- Definition:Strictly Monotone/Sequence/Real Sequence
- Definition:Strictly Negative
- Definition:Strictly Negative Integer
- Definition:Strictly Negative Real Number
- Definition:Strictly Negative/Integer
- Definition:Strictly Negative/Number
- Definition:Strictly Negative/Real Number