X∩Y⊂X も分からないのだろう。