La différence de deux ensembles $A\mathrm{\setminus }B$ (on lira "$A$ privé de $B$") est l'ensemble [[Complémentaire d'un ensemble|?]]${\complement }_{A\cup B}B$ ou encore l'ensemble $\{x\in A|x\notin B\}$.

et-theory⠀