개념 하우스도르프 극대원리반순서 <A, ≤>, T = { X | X ⊆ <A, ≤> 사슬 } ⇒ ∃<T, ⊆>의 극대원반순서 <A, ≤>의 사슬만 모아 놓은 집합에 대하여, <T, ⊆>의 극대원이 존재한다.조른의 보조정리 반순서 <A, ≤>의 모든 사슬의 상계가 A에 있으면, ⇒ ∃<A, ≤>의 극대원 관련