![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Hasse_diagram_of_powerset_of_3.svg/langko-640px-Hasse_diagram_of_powerset_of_3.svg.png&w=640&q=50)
부분 순서 집합
From Wikipedia, the free encyclopedia
순서론에서 부분 순서(部分順序, 영어: partial order) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이다. 부분 순서를 갖춘 집합을 부분 순서 집합(部分順序集合, 영어: partially ordered set, poset)이라고 한다. 이는 전순서 집합과 달리 모든 원소가 비교 가능할 필요는 없으며, 원순서 집합과 달리 순서가 같은 여러 원소는 존재하지 않아야 한다. 유한 부분 순서 집합은 하세 도형을 통해 나타낼 수 있다.[1] 예를 들어, 가계도에서의 관계는 부분 순서이다. 어떤 두 사람은 조상과 후손의 관계이나, 어떤 두 사람은 서로가 서로의 후손이 아니며, 어떤 이도 다른 이의 조상이자 후손일 수는 없다.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Hasse_diagram_of_powerset_of_3.svg/320px-Hasse_diagram_of_powerset_of_3.svg.png)