二つの関係R:A→B,S:B→Cの合成は(a,c)∈S∘R⇔∃b∈Bs.t.(a,b)∈Rかつ(b,c)∈Sで与えられる。
单射：若h(a)=h(b)，则有a∈C∧b∈C,a∉C∧b∉C,a∈C∧b∉C,a∉C∧b∈C四种情况。