全体ぜんたい集合しゅうごうUUU の中なかで集合しゅうごうAAA に 属ぞくさ ない 要素ようそ全体ぜんたい。 記号きごうA‾\overline{A}A または AcA^cAc。
補ほ集合しゅうごう A‾\overline{A}A とは、全体集合ぜんたいしゅうごう UUU の中なかでAAA に属ぞくさない要素ようその集合しゅうごうです。
「AAA でないもの全部ぜんぶ」を集あつめた集合しゅうごうです。何なにが「全部ぜんぶ」かは全体ぜんたい集合しゅうごうUUU によって決きまるので、補ほ集合しゅうごうを考かんがえるには UUU を先さきに決きめておくことが前提ぜんていになります。AcA^cAc と書かくこともあります。
ポイント A∪A‾=UA \cup \overline{A} = UA∪A=U、A∩A‾=∅A \cap \overline{A} = \emptysetA∩A=∅ が必かならず成なり立たつ。「AAA でない」の否定ひていはド・モルガンの法則ど・もるがんのほうそくで展開てんかいできる。