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