The operation is the expression of a relation between the structures of its result and its bases.
« 5.21 5.23 »