Includes functions for set manipulation.
Tests whether an expression evaluates to a member of a particular set.
Adds a member to a set.
Returns the complement of a set.
Returns the number of members in a set.
Returns a set which contains all the members in the set domain.
Returns the first set after excluding from it any members also contained in the second set.
Returns the intersection of two sets.
Removes a member from a set.
Returns the union of two sets.