Inequalities algebra