補集合 $\overline{A}$ と全体集合の定義
定義（全体集合）
考える対象全体の集合を全体集合とよぶ.
定義（補集合）
全体集合が $U$ であるとき, 集合 $A$ の補集合 $\overline{A}$ とは, $U \backslash A$, すなわち
$x \not\in A$ かつ $x \in U$
である要素の集合とする.
たとえば,
全体集合 $\{1, 2, 3, 4\}$,
$A=\{2, 3\}$
のとき,
$\overline{A}$ $=\{ 1, 4 \}$ です。
