>>300
それならx≦yがx⊂yと同値なことを示すだけで、x<yとx≧yでないが同値であることはすぐ分かるんじゃないの？