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 = \left\{ {a, b, c}\right\}$.

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

Then:

but: