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

Formulation F13519 on R5712: Partition of a binary set union

F13519

Formulation 0

Let $E$ and $F$ each be a D11: Set.

Then

(1)	\begin{equation} E \cap (F \setminus E) = \emptyset \end{equation}
(2)	\begin{equation} E \cup F = E \cup (F \setminus E) \end{equation}