## Given

*p:**S*D*T*}*R*we*curry*it to produce a function Û*t.p:**S}*[*T*}*R*]. We can order the set [*T*}*R*] pointwise using the order on*R*.## Given any function into an order, we can order the domain by

*pulling back*the order from the range.## The pulled back order resulting from Û

*t.p*generalizes the*Pareto dominance*order used in multiobjective optimization.