1. 概述

集合论 中, 给定两个 映射 以及 , 称首尾相连从而产生的新映射 复合, 通常记为 .

这一概念亦可进一步被推广至 范畴论 中的 复合态射.

2. 定义

定义 1 (复合映射)

皆为 集合, 映射 以及 , 定义它们的 复合 为以下映射:

因此 .

记号 2 (复合映射)

无歧义时, 复合映射 简记为 .

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
复合映射composition of map

集合论