길을 가다 "없는 것 빼고는 다 있다"는 문장을 보았다.
가능한 모든 품목의 집합을 로 둔다면, 가게가 실제로 보유한 재고는 로 표현 할 수 있고, 없는 것의 집합은 로 표현할 수 있다.
즉, "없는 것 빼고 다 있다"는 "전체()에서 없는 것()을 제외하고 남은 모든 것은 있다"로 작성할 수 있고, 이는
로 표현 할 수 있다.
하지만, 여집합(complement)의 여집합은 원래 집합이 되기 때문에
가 되고, 위 명제는 결국 로 축약할 수 있고, 동어반복(tautology)이기 때문에 정보값은 없지만 항상 참으로 볼 수 있다.