容斥原理是一种组合数学中的计数方法，用于计算有限集合的并集大小。其核心思想是，在计算多个集合的并集时，由于集合之间可能存在重叠，直接将各集合元素个数相加会重复计算重叠部分。为了得到正确的并集大小，需要逐步减去这些重叠部分。

具体来说，如果有三个集合A、B、C，那么它们的并集大小可以通过以下方式计算：

|A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |B ∩ C| - |C ∩ A| + |A ∩ B ∩ C|

其中，`|A|` 表示集合A中元素的个数，`|B|` 表示集合B中元素的个数，`|C|` 表示集合C中元素的个数，`|A ∩ B|` 表示集合A和B的交集元素个数，依此类推。

通过这种方式，可以确保在计算过程中既没有遗漏也没有重复计算，从而得到准确的并集大小。

容斥原理在概率论、组合数学、数论等领域都有广泛的应用，是解决计数问题的重要工具