それっぽい絵を見つけた↓２集合の便図。
http://joyplot.com/documents/wp-content/uploads/2017/01/ben-1.png

a と書かれた領域が A\B,
b と書かれた領域が B\A,
c と書かれた領域が A∩B.
この３つを組み合わせて、
a+c の領域が A,
b+c の領域が B,
a+b+c の領域が A∪B.

重なり合わない領域どうしの n( ) は
n(X∪Y)=n(X)+n(Y) の意味で足せる
ことを思い出しつつ、
>>3 の計算を追ってみよう。