“…In [13] and [9] we used this relation in the set of join irreducible elements of congruence lattices of finite algebras from congruence permutable Fregean varieties to understand their structure. However, in a series of papers [14], [15] and [16] we apply the same relation, but this time in the set of completely meet irreducible elements of congruence lattice, in particular, to construct free algebras in the varieties under consideration. This perspective is, in a sense, dual to the former, though substantially different, since the posets of join and meet irreducible elements of the congruence lattice need not to be isomorphic, and the latter approach can be applied also in the infinite case, in contrast to the former one.…”