ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Operation
N-operation
Binary operation
Enclosed binary operation
Definition D379
Maximum operation
Formulation 0
Let $P = (X, {\preceq})$ be an D1707: Ordered set.
The maximum operation on $X$ with respect to $P$ is the D18: Map \begin{equation} X \times X \to X, \quad (x, y) \mapsto \begin{cases} x, \quad & (y, x) \in {\preceq} \\ y, \quad & (x, y) \in {\preceq} \end{cases} \end{equation}
Results
Complex binomial inequality