// Hunter Schafer, CSE 143
// A collection that contains no duplicate elements.
public interface Set<E> extends Collection<E> {
    // Java redefines all the collection methods here 
    // to give them better comments that are more specific than Collection
}