Un función "f" de un "poset" "P" a un "poset" "Q" es monótona u orden preservante, si "a" ≤ "b" en "P" implica "f"("a") ≤ "f"("b") en "Q".