Operations with Inequalities