Die Menge M {\displaystyle {}M} ist zerlegt in die Bahnen der Operation, und diese sind entweder einelementig und entsprechen den Fixpunkten, oder mehrelementig, und werden dann rechts mitgezählt.
