集合の相等

2つの集合 $A$、$B$ において、$A\subseteqq{B}$ かつ $B\subseteqq{A}$ のときは、$A$ と $B$ の要素が完全に一致している。

集合の相等の図

集合の相等の図

このとき、$A$ と $B$ は等しい (equal) といい \[A=B\] と表す。また、等しくないときは $A\neq{B}$ と表す。

《例》$X=\{1,2,3\}$、$Y=\{1,2,3\}$、$Z=\{2,3,4\}$ のとき \[X=Y~,~Y\neq{Z}\]