in the following operations:
If this set is not empty, either reject delete command, or delete also the tuples that reference .
to ensure that we are not removing a value referenced by tuples in .