Hallo,
halbgeordnete Mengen scheinen auszureichen, zumindest bei der Wikipedia-Definition.
Dort heißt eine Abbildung \(f\) zwischen den halbgeordneten Mengen \((A,\leq)\) und \((B,\preceq)\), also \(f: A\to B\), monoton, wenn für alle \(x,y\in A\) gilt, dass aus \(x\leq y\) sodann auch \(f(a)\preceq f(b)\) folgt.
Wenn du nun noch \((C,\overset{\sim }\leq)\) und \(g: B\to C\) betrachtest, so gilt für \(g\circ f : A\to C\) mit \(x,y\in A\), dass $$x\leq y \overset{f \text{ monoton}}\Longrightarrow f(x)\preceq f(y) \overset{g \text{ monoton}}\Longrightarrow g(f(x))\overset{\sim}\leq g(f(y)).$$ und damit per Kettenschluss \(x\leq y \Longrightarrow g(f(x))\overset{\sim}\leq g(f(y))\), was zu zeigen war.