Ein Paar (M, *) aus einer Menge M und einer Verknüpfung * bildet eine algebraische Struktur. Unter einer Verknüpfung versteht man eine Abbildung eines Paars von Elementen aus M nach M. Algebraische Strukturen mit besonderen Eingenschaften haben spezielle Namen erhalten: z.B. Halbgruppe und Gruppe.