On the tolerance lattice of tolerance factors (Q2250848)

Consider the set \(\mathrm{Tol}(L)\) of all tolerances on a lattice \(L\) of finite length. It was proved by \textit{G. Czédli} [Acta Sci. Math. 44, 35--42 (1982; Zbl 0484.06010)] that for every \(T\in \mathrm{Tol}(L)\) the set \(L/T\) of all blocks of \(T\) is again a lattice. The authors introduce a new partial ordering on \(\mathrm{Tol}(L)\) given by containment of tolerance blocks, i.e. for \(S, T \in \mathrm{Tol}(L)\) we have that \(S\) is under \(T\) if every block of \(T\) is the union of blocks of \(S\) included in it. Then they prove for tolerances several results analogous to the homomorphism theorem and the second isomorphism theorem (known for congruences). Although \(\mathrm{Tol}(L)\) is not a lattice with respect to that ordering, it is in fact a commutative directoid and for each \(T \in \mathrm{Tol}(L)\) the set \(\mathrm{Tol}(L/T)\) is a directoid isomorphic to a subdirectoid of \(\mathrm{Tol}(L)\).