3.7.57. Constraint involving set variables

A constraint involving set variables in its arguments.