右复合及映射

1. 设F，G为二元关系，G对F的右复合记作FoG，其中F是复合到G上的第二步作用

2. 若(值域)ranf=B，则称f:A→B是surjective

若different input can get different output，则称f:A→B是injective

若f:A→B既是surjective又是injective，则称f:A→B为bijective

a) general function: 每一个A都会指向一个B，且一个A只会指向一个B（不可以一对多), 但是不同的A可以指向同一个B（多对一是可以的）

b) injective: 每个A都对应不同的B（一对一）

c) surjective: 每个B至少有一个A与之对应

d) bijective: both injective and surjective