X/Y為空集，不存在x<-X ，且 x</-Y
任意x<-X，如果 x</-Y，則同不存在x<-X 且 x</-Y矛盾，所以只有x<-Y
但這有證明x屬於y嗎？
如果x屬於某集合，那麼y也必然屬於該集合的意思
不是只證明y屬於x，沒有證明到x屬於y嗎?
更新1:
我還想問一下 如果 任意x x
更新2:
我還想問一下 任意x x
