Multi-algebras as tolerance quotients of algebras (Q1936490)

A tolerance \(\tau\) on an algebra \(F\) is defined as a reflexive and symmetric relation on \(A\) satisfying the substitution property. In the paper under review, the authors prove that every multi-algebra arises from a tolerance quotient \(A/\tau\). A generalized construction of the tolerance quotient \(A/\tau\) is given and it is proved that every multi-algebra can be constructed starting from this generalized tolerance quotient \(A/\tau\).