Abstrakter Datentyp Menge

Signatur:

• Set <E> empty ()
• boolean null (Set <E>)
• Set<E> insert (Set<E>, E)
• boolean contains (Set<E>, E)

explizites this, unveränderliche Objekte

Axiome (Beispiele):

• null (empty ())
• forall E x, Set<E> s : not (null ...)
• forall E x, Set<E> s : contains ...

Übung: Signatur und Axiome für Löschen, Vereinigung.