Algebraische Struktur

Eine Menge (oder Klasse) versehen mit festgelegten endlichen Operationen und Relationen — wie binäre Operationen, unäre Operationen und ausgezeichnete Elemente — zusammen mit den Axiomen, die sie erfüllen; diese Daten definieren das algebraische Objekt (z. B. Gruppe, Ring, Verband).