>>341
x≦yとx⊂yが同値であることは自明ではなく、
証明が必要であり、君はその証明を提示していない。

ここまではOK?