Es sei M {\displaystyle {}M} eine Menge und a , b ∈ M {\displaystyle {}a,b\in M} zwei verschiedene Elemente. Definiere durch eine Fallunterscheidung eine Bijektion von M {\displaystyle {}M} nach M {\displaystyle {}M} , die a {\displaystyle {}a} und b {\displaystyle {}b} vertauscht, und sonst alle Elemente unverändert lässt.
