Es sei M {\displaystyle {}M} die Menge der Abbildungen einer zweielementigen Menge in sich selbst, also