Category
page 2Order theory
Boolean differential calculus
subject field of Boolean algebra discussing changes of Boolean variables and functions
well-quasi-ordering
In mathematics, specifically order theory, a well-quasi-ordering or wqo on a set X is a quasi-ordering of X for which every infinite sequence of elements x_0, x_1, x_2, \ldots from X contains a non-decreasing pair x_i \leq x_j with i
Order embedding
type of monotone function
Schnyder's theorem
order dimension of incidences in planar graphs
Schur–Horn theorem
characterizes the diagonal of a Hermitian matrix with given eigenvalues
Szpilrajn extension theorem
theorem
Lubell–Yamamoto–Meshalkin inequality
inequality of sizes of sets in the Sperner family