some operation for that set
can take in multiple elements from the set and return one from the set
has to be defined for all elements of the set