En
algebraisk struktur består inom den
abstrakta algebran av en
mängd tillsammans med en eller flera
operatorer definierade för elementen i mängden och ett antal
axiom för dessa operatorer. Om det inte finns risk för missförstånd betecknas vanligtvis den algebraiska strukturen på samma sätt som mängden. Som exempel betecknas vanligtvis en
grupp (
G,*) helt enkelt som gruppen
G.