复合映射

复合映射是映射g和f构成的复合映射。映射f和g构成复合映射的条件是：g的值域必须包含在f的定义域内，否则，不能构成复合映射。对二元关系可以进行复合运算和逆运算，映射也是一种二元关系，按照关系的复合运算可以对复合映射给出下面定义。