We consider the sets
and the mappings φ : L → M {\displaystyle {}\varphi \colon L\rightarrow M} and ψ : M → N {\displaystyle {}\psi \colon M\rightarrow N} which are given by the value tables
and
respectively.