# Dominance order

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

[1]: https://en.wikipedia.org/wiki/Dominance_order