strictly monotonic function (Q78055984)
function between ordered sets that preserves or reverses the given strict order
Language:
(P279) (Q194404)
(Q182003)
(P2534) \left(\forall x,y\colon x<y\implies f(x)<f(y)\right)\lor\left(\forall x,y\colon x<y\implies f(x)>f(y)\right)
(P2737) (Q23766486)
(P6104) (Q8487137)
(P7235) f
\implies
\lor
<
other details
aliases strictly monotone function
strict monotone function
description function between ordered sets that preserves or reverses the given strict order