部分集合formula_5に対し、そのを