NewSet returns an empty set with the membership rules given.

Set is an implementation of the concept of a set: a collection where all values are conceptually either in or out of the set, but the members are not ordered.

OrderedRules is an extension of Rules that can apply a partial order to element values.

Rules represents the operations that define membership for a Set.