等式の定義…

x=x 、 x=y ならば y=x 、 x=y y=z ならば x=z

となるモノ