3.7.94. Empty intersection

A constraint which forces an empty intersection between two sets of variables.