A note on representation of lattices by tolerances (Q1188138)

A tolerance on an algebra \(A\) is a reflexive and symmetric subalgebra of the Cartesian square of \(A\). Theorem: Let \(L\) be an algebraic lattice. Then there is an algebra \(A\) such that \(L\) is isomorphic to the lattice of all tolerances on \(A\); moreover, every subalgebra of \(A^ 2\) is a tolerance.