First page Back Continue Last page Summary Graphics
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.