<mathematics> Any formal mathematical system consisting of a set of
objects and operations on those objects. Examples are Boolean algebra, numerical
algebra, set algebra and matrix algebra.
[Is this the most common name for this concept?]
Algebraic Logic Functional language « Algebraic
Manipulation Package « Algebraic Specification
Language « algebraic structure » Algebra of
Communicating Processes » ALGOL » ALGOL 58