Множество $\operatorname{Fix} g=\{a\in A\mid ga=a\}$ называется множеством неподвижных точек элемента $g$ (вообще говоря, это множество зависит от действия, но когда ясно, о каком действии идёт речь, наименование действия не указывается).