Commutative idempotent quasigroups satisfying this additional property are called Steiner quasigroups.
Коммутативные идемпотентные квазигруппы, которые удовлетворяют этому дополнительному свойству, называются квазигруппами Штейнера.