『補集合』(complementary set)

(D.) Komplementmenge    
(Fra.) ensemble complémentaire
(Ita.) insieme complementare  

 集合 A が集合 B部分集合であるとき,すなわち であるとき,B要素のうち A に属さないもの
全体の集合を
     “B に対する A の補集合”
といいます。
 とくに,
     “全体集合 U に対する A の補集合”
を単に “A の補集合” といい, などと表す場合もありますが,高校の数学では と表すのがふつうです。
  (2019年3月15日改訂)