準群
quasi-group
空でない
マグマ
で除法が常にできるもの
逆マグマ
https://en.wikipedia.org/wiki/Quasigroup