Two constructions of compatible relations
Let be a connected monounary algebra. The paper deals with retract irreducibility of in the class of all connected monounary algebras and in the class of all monounary algebras.
A characterization of all classes of idempotent groupoids having no more than two essentially binary term operations with respect to small finite models is given.