====== 부분 순서 집합 ======
#redirect [[부분순서]]