Monotone function

cosmos 14th October 2017 at 10:08pm
Homomorphism Partially ordered set

aka partial order homomorphism

A monotone function h:PQh: P \to Q (P,QP,Q are posets) is a function such that yP.xy\forall \,y \in P. x \leq y, implies that h(x)h(y)h(x) \leq h(y)