>>56
全て内点なら開集合