Solution (source code)

= Solution

\b[False.] Take the <sets> $A=\{1\}$, $B=\varnothing$ and $C=\varnothing$. Both <intersections> with $C$ are empty, although $A\ne B$. Intersecting with $C$ loses information about membership outside $C$.