>>232を見て思ったけど
∈と⊂って意味が違うの?