Xの部分集合は必ずどれかのY_{n}に含まれるわけではないのだが