14.2 Formalism of Mappings