>>193
一般的な代入と同じで、反射律は満たしているけど、推移律が満たされない。
a = b; b = c; としても、a != c でありうるから。

この点では同期的に同値性を維持しうるC++の参照の方が強力だと思う。