包除の原理 The inclusion-exclusion principle

を係数とする包除の原理。どうしてなんだろう。もちろん、そうだからそうなのだけれども、集合は２進法的な構造だからなんだろうか、とか、そういう意味で、どうしてなんだろう、と思う。