Support for inequalities and set operations