Is there a standard qualifier to distinguish a subset constraint that covers exactly one subset role and one superset role from other forms of the constraint? In the BBB, I see the terms "pair-subset", "tuple-subset", and "join-subset" used to distinguish more complex forms of the constraint. Is it ...