合关系。 也就是说，如果 , , 适当选择定义域和到达域，就会有 ，其中括号表示优先进行复合。由于括号如何放置没有分别，因此可以不用括号，也不会引起任何歧义。 严格来说，只有当 的到达域等于 的定义域时，才可以构造复合 ；更宽泛地说，只要前者是后者的子集就足够了。此外，通常很容易通过限制 的定义域，使得 产生的值都在n 的定义域内；例如，函数 定义为 ，函数 定义为 复合而成的 ，可以把定义域限制在区间 上。 当 时，我们会说 和 是可交换的。可交换性是一个特殊的性质，只有特定函数具有，而且通常是在