Abstrakter Datentyp Menge

Schnittstelle

interface Set<E>  {
    boolean isEmpty ();
    void add (E o);
    void remove (E o);
    boolean contains (E o);
}

mit Eigenschaften: z. B.

(1) nach s.add (o)  gilt  s.isEmpty() == false.
(2) wenn  s.add (o), 
       dann danach  s.contains(o) == true