Implementierung I: Listen
Datenstrukturinvariante: Listen sortiert und wiederholungsfrei
- leere Menge: leere Liste
- Enthaltensein: Suchen in sortierter Liste
- Einfügen: Einsortieren
- Löschen: Löschen aus sortierter Liste
- Vereinigung: analog zu merge
- Durchschnitt: analog zu merge
- Größe: Listendurchlauf
- Drucken: Listendurchlauf
Achtung: der freie Gebrauch von newlist kann die Datenstrukturinvariante verletzen!