Ein Fixpunkt einer Operation einer Gruppe G {\displaystyle {}G} auf einer Menge M {\displaystyle {}M} .