がformula_24の開集合で定義されているとする。