Solution (source code)

= Solution

The <rule of subtraction> is
$$
\boxed{|A\setminus B|=|A|-|A\cap B|.}
$$
In particular, if $B\subseteq A$ are <finite sets>, the <set difference> has <cardinality> $|A|-|B|$.