Abstract:
We obtain a complete description of all congruences of a free unar with arbitrary set of free generators. Namely, every congruence is characterized uniquely by a collection of parameters which are either non-negative integers or the symbol $\infty$; the restrictions on the parameters are formulated.