集合Aの要素数を|A|で表す。 いま|A|,|B|,|A∩B|が分かっているときに、|A∪B|を求めたいとする。 このとき下のようなベン図を書いて|A∪B|=|A|+|B|-|A∩B|が分かる。 三つの場合、つまり|A∪B∪C|が求めたい場合も同様にベン図から分かる。 しかし４つ以上になる…