ADTs in der Mathematik

• Relationen: Funktion, injektiv, surjektiv, bijektiv

• Ordnungsstrukturen:

  transitive Relation, Halbordnung, lineare Ordnung, Verband

• „Rechen-``Strukturen:

  Halbgruppe, Monoid, Gruppe,

  Halbring, Ring, Körper, Vektorraum

Ü: jeweils Signatur, Axiome, Implementierungen angeben