Consider the ADT set that represents a collection of integers. The ADT should support standard set operations:
S = init();
/* Initialize S to the empty set */
isEmpty(S);
/* Return true if and only if S is the empty set */
isSingleton(S);
/* Return true if and only if S contains only one element */
isMember(S,a);
/* Return true if and only if a is a member of the set S */
S = addElement(S,a);