The circles in this Venn diagram can represent sets in set theory, or statements in propositional logic. In set theory it tells, that both sets are empty...
