This video gives the background to set theory which is fundamental for dealing with probability more generally. The video discusses using Venn diagrams as a simple way of proving a number of results, such as De Morgan's law. However, we also discuss how to prove this formally using set theory results. An example is using various forms of De Morgan's law to derive the sum rule, or the addition law of probability. A tutorial exercise challenges you to derive the sum rule for three events.