The easiest way is to break (15) into three constraints, each of which uses a term within the set to impose a lower bound on x. For the second such constraint, instead of a max operator, index the constraint on i.
A similar scheme can be applied for (16).