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