About:
(order theory, analysis) A function f : XâY (where X and Y are posets with partial order "â¤") with either: (1) the property that x ⤠y implies f(x) ⤠f(y), or (2) the property that x ⤠y implies f(y) ⤠f(x).
Permalink
an Entity references as follows: