Set Intersection is not Cancellable

Theorem
Set intersection is not a cancellable operation.

That is, for a given $A, B, C \subseteq S$ for some $S$, it is not always the case that:


 * $A \cap B = A \cap C \implies B = C$

Proof
Proof by Counterexample:

Let $S = \set {a, b, c}$.

Let:
 * $A = \set a$
 * $B = \set {a, b}$
 * $C = \set {a, c}$

Then:

but: