そもそも=ってのは同値関係でしかないよな
xとyとが実際どういうものかは問わずそこに含まれる元が完全に一致していれば=つまり同値と見ると解釈できるよね
たとえば{a}と{a,a}は{a}={a,a}だけど記号列としては異なるよね
記号列で区別されると考えて{a}と{a,a}は集合論では同値であると考えても良い
どうように{a,b}={b,a}もこれらは記号列しては区別されるが集合論では同値と