ある集合に演算*が定義されていて
a*b=c*b　ならば　a=c が必ずしも成り立たない
このような性質のことをなんというんですか？