同じものを代入した結果も同じになる
というのが「等号」に期待される性質であって、その性質を実装するための工夫に過ぎない
なので、よっぽど基礎的なことを考察したいのでもなければ、等号の定義なんて気にしなくていい