Abstract:
It is proved that every finite lattice is isomorphic to an $\mathbf R$-congruence lattice of a finite unar (finite Abelian group), as well as to a lattice of $\mathbf R$-varieties for some locally finite finitely axiomatizable quasivariety of unars (Abelian groups) $\mathbf R$.