길을 가다 "없는 것 빼고는 다 있다"는 문장을 보았다.

가능한 모든 품목의 집합을 $U$로 둔다면, 가게가 실제로 보유한 재고는 $S \subseteq U$로 표현 할 수 있고, 없는 것의 집합은 $U \setminus S$로 표현할 수 있다.

즉, "없는 것 빼고 다 있다"는 "전체($U$)에서 없는 것($U \setminus S$)을 제외하고 남은 모든 것은 있다"로 작성할 수 있고, 이는

$\forall x \in U \setminus (U \setminus S) \; : \; x \in S$

로 표현 할 수 있다.

하지만, 여집합(complement)의 여집합은 원래 집합이 되기 때문에

$U \setminus (U \setminus S) = S$

가 되고, 위 명제는 결국 $\forall x \in S \; : \; x \in S$로 축약할 수 있고, 동어반복(tautology)이기 때문에 정보값은 없지만 항상 참으로 볼 수 있다.