有限集合formula_1とformula_76とする。