最終さいしゅう確認かくにん日び: 2026年ねん5月がつ16日にち
全体ぜんたい集合しゅうごう U の う ち A に属ぞくさない要素ようそ全体ぜんたい。 A^c ま た は A バー。
補ほ集合しゅうごう 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 でない」の否定ひていはド・モルガンの法則ド・モルガンのほうそくで展開てんかいできる。