Complements

Set complements can be formed using the not operator (setarith.gms)

Subset3(superset) = not Subset1(superset);

The membership of subset3 contains all elements that are not members of subset1.  This operation is equivalent to the statements

Subset3(superset)=yes; subset3(subset1)=no;