set theory operations relations and venn diagrams