同値関係は反射性+対称性+推移性で定義されるが、反射性+ユークリッド性でも同値関係になる。ところが、対称性+推移性はユークリッド性と同値ではない。なぜなら 対称性+推移性 ⇒ ユークリッド性 という方向は成り立つが、逆は成り立たないからだ。W = {a, b…