\(i\)を階数、\(A,B,C,D:\mathcal {U}(i)\)を型、\(f:A\to B\)と\(g:B\to C\)と\(h:C\to D\)を関数とする。

1. 1\(f\equiv f\circ \mathord {\textnormal {\textsf {id}}}\)であることを確かめよ。
2. 2\(\mathord {\textnormal {\textsf {id}}}\circ f\equiv f\)であることを確かめよ。
3. 3\((h\circ g)\circ f\equiv h\circ (g\circ f)\)であることを確かめよ。