formula_6が表現可能ならば、"c" における表現対象を "f" の直極限と呼び、やはりformula_7と書く。