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