첫번째 조건은 C라는 집합은 정해져 있는 집합이 아닌, A⊂C 이고, B⊂C' 인 C를 만들어야 하는 상황이며, 이를 만족하는 C가 하나라도 존재하면 첫번째 조건을 만족한다고 할 수 있습니다. B = C 가 된다면 이러한 상황을 만들 수 없는 것이 맞지만, C를 다른 집합으로 설정한다면, A⊂C 이고, B⊂C' 를 만족할 수 있기 때문에 첫번째 조건을 만족한다고 할 수 있습니다. (편의상 C의 여집합을 C' 이라고 썼습니다.)