Definition:Algebraic System

From ProofWiki
Jump to navigation Jump to search


An algebraic system is a mathematical system $\SS = \struct {E, O}$ where:

$E$ is a non-empty set of elements
$O$ is a set of finitary operations on $E$.

Also known as

Some sources refer to such an object as an algebra, but the general consensus is to reserve the term algebra for a slightly more refined concept.

Also see