if I have a partially ordered set $P$, and I have a function $f: P \times P \to \mathbb{R}$ that is monotone over the first and antitone over the second argument, i.e. for any $a,b,c \in P$
$a ≤ b \implies f(a,c) ≤ f(b,c)$
and
$a ≤ b \implies f(c,a) ≥ f(c,b)$,
is there anything I can say about the form this equation has to take? For instance, how I could split this up into a function of some unary function, i.e. $f(a,b) \equiv g(h(a),h(b))$?
Thanks a lot, Paul