Order in the Subjective

Given p: SDT}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.

Given p: SDT}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.