5.22

The operation is the expression of a relation between the structures of its result and its bases.