tr:math:algebra:systems:inequalities