容斥原理有限indexed set family的union cardinality是全部非空index subsets交集大小的交替和。atlas-inclusion-exclusion-principle · canonical_mko容斥原理前置節點集合運算基本計數原理集合基數比較數學歸納法