差分

新たな集合$$C$$を考え、またその元を$$c$$とする。

2つの写像$$f: A \rightarrow B, g: B \rightarrow C$$に対して、$$f$$と$$g$$の'''合成'''$$f \circ g$$は$$A$$から$$C$$への写像を意味している。