それほど昔のことではないのだが、「反射性と同一律はどう違うの?」という疑問を持ったことがある。…うん、まぁ大分違うよね…。関係Rが反射的と言われるのは、任意のxについてxRxが成り立つとき。例えば、実数上で定義される「≦」などは反射的。要するに、関…