ほしゅうごう【補集合】 全体集合の部分集合Aがあるとき，その全体集合には属するが，集合Aには属さない要素の全体でできる集合。余集合。