text: Квазигруппой называют пару (Q, *) из множества Q с бинарной операцией * : Q × Q → Q, удовлетворяющей следующему условию: для любых элементов a и b из Q найдутся единственные элементы x и y из Q, такие что a * x = b y * a = b Решения этих уравнений иногда записывают так: x = a \ b y = b / a Операции \ и / называют левым делением и правым делением.