Korzystając z diagramów Venna, chcemy udowodnić, że dla dowolnych zbiorów A, B, C prawdziwa jest równość

$A\cap \left(B\backslash C\right)=\left(A\cap B\right)\backslash C$  

Zilustrujmy zbiór

$A\cap \left(B\backslash C\right)$  

dostaniemy

czyli rozwiązaniem jest 

---

teraz zilustrujmy zbiór

$\left(A\cap B\right)\backslash C$  

otrzymamy

czyli rozwiązaniem jest

 

W obu przypadkach otrzymaliśmy to samo rozwiązanie, czyli podana równość jest prawdziwa 

 

c.n.d.