These properties can be proved easily and verified using the Venn diagram. They can be used to derive useful results.
For example, Putting in
we get,