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

Convention N625 on D70: Set difference

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