defined as elements of Grassmann algebra (an algebra with anticom­ muting generators). What is more, Schwinger's formalism was still used in practically all physical works, on an intuitive level, and physicists regarded functions of anticommuting variables as "real functions" == maps of sets and not as elements of Grassmann algebras.