자연수 멱집합의 포함 관계에는 모든 가산 순서를 부분순서로 넣을 수 있음 · cho.sh