PLATO This Venn diagram is meant to represent the special case of a relation between two sets in set theory, or two statements in propositional logic respectively...
