Definition and properties of the set operation known as the difference of sets. Also has a brief example.