In this paper, we are concerned with the very general notion of
a universal algebra. A universal algebra essentially consists of a set
A together with a possibly infinite set of finitary operations on. A.
Generally, these operations are related by means of equations, yielding
different algebraic structures such as...