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
Definition D427
Isotone map
Formulation 0
Let $P_X = (X, {\preceq_X})$ and $P_Y = (Y, {\preceq_Y})$ each be a D1103: Partially ordered set.
A D18: Map $f : X \to Y$ is isotone from $P_X$ to $P_Y$ if and only if \begin{equation} \forall \, x, y \in X \left( x \preceq_X y \quad \implies \quad f(x) \preceq_Y f(y) \right) \end{equation}
Formulation 1
Let $P_X = (X, {\preceq_X})$ and $P_Y = (Y, {\preceq_Y})$ each be a D1103: Partially ordered set.
A D18: Map $f : X \to Y$ is isotone from $P_X$ to $P_Y$ if and only if \begin{equation} \forall \, x, y \in X \left( (x, y) \in {\preceq_X} \quad \implies \quad (f(x), f(y)) \in {\preceq_Y} \right) \end{equation}
Also known as
Increasing map, Order-preserving map, Nondecreasing map, Order homomorphism
Children
▶ D1819: Order isomorphism
▶ D430: Strictly isotone map