∀p ∈ X → ∀p ∈ Y ならば X ⊂ Yだとおもってたんだけど