Inequalities/domain