majorization (major + -ization; action_result)
A preorder on vectors of real numbers