更改

''S''的存在性和唯一性是[[contraction mapping principle]]的结果，就如

''S''的存在性和唯一性是压缩映像原理的结果，就如

:<math>\lim_{n\to\infty}F^{\circ n}(A)=S</math>

:<math>\lim_{n\to\infty}F^{\circ n}(A)=S</math>

函数的集合<math>f_i</math>能产生是运算下的独异点。如果只有两个这样的函数，那么这个单体可以可视化为一棵二叉树，在树的每一个节点上，我们可以用一个或另一个函数进行合成（''即''取左支或右支）。一般来说，如果有''k个''函数，那么可以将单子可视化为一个完整的[[k-ary树|''k-''ary树]]，也称为[[Cayley tree]]。

函数的集合<math>f_i</math>能产生是运算下的独异点。如果只有两个这样的函数，那么这个单体可以可视化为一棵二叉树，在树的每一个节点上，我们可以用一个或另一个函数进行合成（''即''取左支或右支）。一般来说，如果有''k个''函数，那么可以将单子可视化为一个完整的[[k-ary树|''k-''ary树]]，也称为[[Cayley tree]]。

==构建==

==构建==