I would think that these <A HREF="http://math.uchicago.edu/~amathew/dirac.pdf">these notes</A> by Akhil Mathew provide the "exact definition" you are asking for: <IMG SRC="https://ilorentz.org/beenakker/MO/DiracOperator.png"/> -------- In response to the follow-up question "which is the first Clifford module used in the physics context": Two different representations (<A HREF="http://en.wikipedia.org/wiki/Clifford_module">modules</A>) of the Clifford algebra were studied in early work on the Dirac equation. Paul Dirac himself used a quaternionic representation, while Ettore Majorana used a real representation. The physics implications were entirely different: Dirac had a complex field equation, and concluded that the field and its complex conjugate described two different particles. One was the electron, the complex conjugate was unknown at the time. Dirac hypothesised that it described a positively charged "antiparticle", with the same mass as the electron. This "positron" was discovered shortly afterwards, a triumph of mathematical physics. Majorana, in contrast, had a real wave equation and hypothesised that it would describe charge-neutral particles that were their own antiparticle. We still do not know whether such particles exist in nature (the neutrino may or may not be of this type). *Historical note:* the real representation of the Dirac equation is called the <A HREF="http://en.wikipedia.org/wiki/Majorana_equation">Majorana equation,</A> but this was actually a rediscovery: <A HREF="http://rspa.royalsocietypublishing.org/content/121/788/524">Eddington</A> had published it a decade before Majorana, so "Eddington-Majorana equation" would be a more appropriate name.