안녕하세요. 질문에 대한 관련 답변입니다. 네 세 명제 전부 다 필요충분조건입니다. 예를들어 A 가 B의 부분집합이면 B^c 가 A^c 의 부분집합입니다. 따라서 A 가 B^c 의 부분집합이면 B가 A^c 의 부분집합입니다.