Then a ∈ X is a fixed point of φ if a ∈ φ(a).
このとき、a ∈ X が φ の不動点であるとは、a ∈ φ(a) が成り立つことをいう。