補集合 【complement】 余集合

概要

補集合（complement）とは、ある集合に対して、そこに含まれない要素で構成された集合。

数学の集合論で用いられる概念で、全体集合Uに含まれる要素のうち、ある集合Aの要素を除いた残りの要素を集めた集合を「Aの補集合」と呼び、「A」あるいは「A^c」のように記す。

例えば、Uが整数の集合、Aが奇数の集合であれば、Aは偶数の集合となる。AとAの補集合の共通集合は空集合であり（A∩A=∅）、和集合は全体集合に等しくなる（A∪A=U）。