Скрещенно-обратимые квазигруппы ($CI$-квазигруппы)

Квазигруппа $Q(\cdot)$ называется скрещенно-обратимой ($CI$-квазигруппой), если $(xy)fx=y(1)$ для всех $x,y\in Q$ и некоторого отображения $I$ множества $Q$. Находится критерий того, чтобы свойство (1) сохранилось при изотопии. В связи с классом $CI$-квазигрупп вводится и изучается новый класс квазигрупп, аналогичный классу муфанговых квазигрупп.