例えば、写像formula_130は、formula_131やformula_132であるformula_46上の点では定義されていない。