定義
X を前順序集合(過去スレ008の139)とする。
f：X → X を写像とする。
f(x) ≦ x となる元 x ∈ X を f の前不動点(pre-fixed point)と言う。
x ≦ f(x) となる元 x ∈ X を f の後不動点(post-fixed point)と言う。