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
Binary endorelation
Preordering relation
Partial ordering relation
Partially ordered set
Isotone map
Definition D430
Strictly isotone map
Formulation 0
Let $P_X = (X, {\prec_X})$ and $P_Y = (Y, {\prec_Y})$ each be a D1776: Strict partially ordered set.
A D18: Map $f : X \to Y$ is strictly isotone from $P_X$ to $P_Y$ if and only if \begin{equation} \forall \, x, y \in X \left( (x, y) \in {\prec_X} \quad \implies \quad (f(x), f(y)) \in {\prec_Y} \right) \end{equation}
Formulation 1
Let $P_X = (X, {\prec_X})$ and $P_Y = (Y, {\prec_Y})$ each be a D1776: Strict partially ordered set.
A D18: Map $f : X \to Y$ is strictly isotone from $P_X$ to $P_Y$ if and only if \begin{equation} \forall \, x, y \in X \left( x \prec_X y \quad \implies \quad f(x) \prec_Y f(y) \right) \end{equation}