ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F5986 on R2741: Set equality iff inclusion in both directions

F5986

Formulation 0

Let $X$ and $Y$ each be a D11: Set.

Then $X = Y$ if and only if

(1)	\begin{equation} X \subseteq Y \end{equation}
(2)	\begin{equation} X \supseteq Y \end{equation}