>>335
だから結局、x≦yとx⊂yが同値であることに帰着するじゃん