Schnittstelle
interface Set<E> { boolean isEmpty (); void add (E o); void remove (E o); boolean contains (E o); }
(1) nach s.add (o) gilt s.isEmpty() == false. (2) wenn s.add (o), dann danach s.contains(o) == true