Interpretation von Morphismen.

Sei f eine beliebige Abbildung von N nach R, wobei R eine totale Ordnung R = {b₁< b₂< ⋯ < b_r} ist. Dann ist die Partition \begin{eqnarray}{f}^{-1}({b}_{1})|{f}^{-1}({b}_{2})|\cdots |{f}^{-1}({b}_{n})\end{eqnarray}von N die Belegungsdarstellung von f. Die zu der Belegungsdarstellung duale Interpretation von Morphismen ist die sog. Wortdarstellung.