Definition of "electron"