We study the action of substitution maps between power series rings as an additional algebraic structure on the groups of Hasse–Schmidt derivations. This structure appears as a counterpart of the module structure on classical derivations.