Mathematical formalism