Let $X$ and $Y$ each be a D11: Set.
The difference of $X$ and $Y$ is the D11: Set
\begin{equation}
X \setminus Y : = \{ x \in X : x \not\in Y \}
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▶ | D79: Set complement |
▶ | D71: Symmetric set difference |
▶ |
Convention 0
(Notation for set difference)
If $X$ and $Y$ are each a D11: Set, we denote the D70: Set difference of $X$ and $Y$ by $X \setminus Y$.
|