Skip to content

general/order-theory

Surf Wiki
Greatest element and least element

Concept in mathematics

general/order-theory
Order theory

Branch of mathematics

general/order-theory
Antichain

Subset of incomparable elements

general/order-theory
Atom (order theory)
general/order-theory
Better-quasi-ordering
general/order-theory
Compact element
general/order-theory
Cofinal (mathematics)

Mathematical property of subsets in order theory

general/order-theory
Dedekind–MacNeille completion

Smallest complete lattice containing a partial order

general/order-theory
Complete partial order

Mathematical phrase

general/order-theory
Distributivity (order theory)
general/order-theory
Duality (order theory)

Term in the mathematical area of order theory

general/order-theory
Completely distributive lattice
general/order-theory
Dushnik–Miller theorem
general/order-theory
Completeness (order theory)

Existence of certain infima or suprema of a given poset

general/order-theory
Complete Heyting algebra
general/order-theory
Deviation of a poset
general/order-theory
Multitree

Type of graph in mathematics

general/order-theory
Maximal and minimal elements

Extreme element of a preorder

general/order-theory
Infimum and supremum

Greatest lower bound and least upper bound

general/order-theory
Kleene fixed-point theorem

Theorem in order theory and lattice theory

general/order-theory
Partially ordered set

Mathematical set with an ordering

general/order-theory
Order embedding

Type of monotone function

general/order-theory
Order dimension

Mathematical measure for partial orders

general/order-theory
Lexicographic order

Generalised alphabetical order

general/order-theory
Monomial order

Order for the terms of a polynomial

general/order-theory
Law of trichotomy

Law (all real numbers are positive, negative, or 0)

general/order-theory
Upper set

Subset of a preorder that contains all larger elements

general/order-theory
Well-order

Class of mathematical orderings

general/order-theory
Residuated mapping

Concept in mathematics

general/order-theory
Supermodular function

Class of mathematical functions

general/order-theory
Well-quasi-ordering

Mathematical concept for comparing objects

general/order-theory
Critical pair (order theory)
general/order-theory
Pseudoideal
general/order-theory
Frink ideal
general/order-theory
Linear extension

Mathematical ordering of a partial order

general/order-theory
Cantor–Bernstein theorem

There are equally many countable order types and real numbers

general/order-theory
Ultrafilter

Maximal proper filter

general/order-theory
Dedekind cut

Method of construction of the real numbers

general/order-theory
Strong antichain

Concept in the mathematics of partial orders

general/order-theory