「 10 と 20 は違う値だ」より、「 10 / 2 と 20 / 4 」は異なる式だ、かな。

8:01 AM

Equatable はあくまで値についての性質なので、どのような式で nan が導かれても推移律は満たされることになるかと。