개념 고정점 정리반순서 <A, ≤>의 모든 사슬의 최소상계가 A에 있을 때, f : A → A, f(x) ≥ x ⇒ ∃p ∈ A, f(p) = P모든 사슬이 최소상계가 존재하면, f(x) ≥ x 인 함수는 고정점을 가진다. 관련
