13/01/16 04:05:46.33
>>380
(1)が使われていない。
条件(1)がないと、後半の[x]=[y]の仮定からx～yが導かれない。
たとえば、簡単な例をあげると、X={1,2}に2～2という関係を定めれば、(2),(3)は成り立つが(1)は成り立たない。
そして、確かにこのとき[1]=[1]=φだが、1～1ではない。
13/01/16 04:05:46.33
>>380
(1)が使われていない。
条件(1)がないと、後半の[x]=[y]の仮定からx～yが導かれない。
たとえば、簡単な例をあげると、X={1,2}に2～2という関係を定めれば、(2),(3)は成り立つが(1)は成り立たない。
そして、確かにこのとき[1]=[1]=φだが、1～1ではない。