Tolerances on monounary algebras
To everz partiallz ordered set a certain groupoid is assigned. A tolerance on it is defined similarlz as a congruence, onlz the requirement of transitivitz is omitted. Some theorems concerning these tolerances are proved.
It is shown that any power , of a finite -element algebra , has factorable tolerances whenever the power has the same property.
In which the binary product algebra of complex numbers, C, is generalized to a ternary product algebra, .
A number of new results that say how to transfer the entailment relation between two different finite generators of a quasi-variety of algebras is presented. As their consequence, a well-known result saying that dualisability of a quasi-variety is independent of the generating algebra is derived. The transferral of endodualisability is also considered and the results are illustrated by examples.
Results saying how to transfer the entailment in certain minimal and maximal ways and how to transfer strong dualisability between two different finite generators of a quasi-variety of algebras are presented. A new proof for a well-known result in the theory of natural dualities which says that strong dualisability of a quasi-variety is independent of the generating algebra is derived.