사실인 부분집합 차집합 교집합 입니까?