algebraic structure

Short definition from Wiktionary

Noun

1. 1
   Any one of the numerous types of mathematical object studied in algebra and especially in universal algebra.
2. 2
   A mathematical object comprising a carrier set (aka underlying set or domain), an optional scalar set, a set of operations (typically binary operations, but otherwise each of finite arity) and a set of identities (axioms) which the operations must satisfy.