またformula_6とはformula_5の定義域でformula_10が成り立つこと(formula_5がformula_3の制限であること)をいう。