定義
X を集合とする。
f：X → X を写像とする。
f(x) = x となる元 x ∈ X を f の不動点(fixed point)と言う。