여기서 집합 간의 순서는 부분집합 관계로 준다.