Massive quantum electrodynamics of the electron is formulated as an LSZ theory of the electromagnetic field F(..mu nu..) and the electron-positron fields PSI. The interaction is introduced with the help of mathematically well defined subsidiary conditions. These are: 1) gauge invariance of the first kind, assumed to be generated by a conserved current j(..mu..); 2) the homogeneous Maxwell equations and a massive version of the inhomogeneous Maxwell equations; 3) a minimality condition concerning the high momentum behaviour of the theory. The inhomogeneous Maxwell equation is a linear differential equation connecting Fsub(..mu nu..) with the current Jsub(..mu..). No Lagrangian, no non-linear field equations, and no explicit expression of Jsub(..mu..) in terms of PSI, anti-PSI are needed. It is shown in perturbation theory that the proposed conditions fix the physically relevant (i.e. observable) quantities of the theory uniquely.