代函数的定义.设 formula_1 为一个度量空间，并令 formula_2 为一个连续函数。集合 formula_1 中元素 formula_4 关于 formula_5 的formula_6-极限集合是其经过函数 formula_5 迭代后得到的序列formula_8 的所有极限点的集合，记作 formula_9。依此定义，某元素formula_10当且仅当存在严格递增的自然数列 formula_11 使得 当 formula_12 的时候 formula_13。用纯数学语言也可以表示为：极限