擬群
loop
単位元
を持つ
準群
https://en.wikipedia.org/wiki/Quasigroup#Loops