参考下图红框叙述
为什么R为等价？
又为什么(a‧a')R(b‧b')可以推出R为等价？
https://imgur.com/a/7rI3mIx

很容易看得出来它有自反、对称、递移，因为是用等号它在推的不是等价关系，而是在确认那是同余关系也许你误会了，等价关系就是具有自反、对称、递移的关系