Стационарные полугруппы

Пусть $(\Phi,\cdot)$ — полугруппа (полных) пресбразований на множестве $A$. Будем говорить, что два преобразования $\varphi_1$ и $\varphi_2$ из $\Phi$ находятся в стационарном отношении и писать $(\varphi_1,\varphi_2)\in\psi_\Phi$, если $\varphi_1(a)=\varphi_2(a)=a$ для некоторого $a$ из $A$. Полугруппа $(\Phi,\cdot,\psi_\Phi)$ с выделенным стационарным отношением $\psi_\Phi$ называется стационарной.
В данной работе найдена элементарная система аксиом, характеризующая класс стационарных полугрупп (полных) преобразований. В качестве иллюстраций приводится элементарная характеристика класса стационарных групп перестановок.