강의 중에 설명한 것 처럼, 모든 C에 대해서 (B∩C)⊂(A∩C)를 만족해야 합니다. 물론, 사진과 같은 상황이 (B∩C)⊂(A∩C)를 만족하기는 하지만, 다른 집합을 C로 설정했을 때, 이 조건을 만족하지 않는 C가 존재할 수 있기 때문에 사진과 같은 A와 B의상황은 첫번째 조건을 만족하지는 않는 상황이 되는 것입니다.