ほ‐しゅうごう【補集合】_{‥シフガフ} 〔数〕集合Ａが集合Ｂの部分集合であるとき、差集合B−AをＡのＢにおける補集合という。特にＢが全体集合ならば、単にＡの補集合といい、A^ｃと書く。余集合。