Defines a trait for comparisons according to dominance order. This is used for example in Pareto optimization.