**Here are links to the posts on set theory**, which is a mathematical logic system like our work with AND, OR and NOT, which are directly analogous to intersection, union and complement, respectively.

A pictorial representation of set theory is called

**Venn Diagrams**and you can click on the link to read them.