>>313
必要なんですか?


あと{φ,{a},{b},X}は位相になるのですか?