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 
▼  ZermeloFraenkel 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$.
