Sejam $X$ um conjunto não vazio; $A$ e $B$ dois subconjuntos de $X$. Definimos $A^C=\{x\in X|x\notin A\}$ e $A-B=\{x\in A|x\notin B\}$. Dadas as sentenças:

1. $A\cap B=\varnothing ⟺A\subset B^C⟺B\subset A^C$, onde $"⟺"$ significa equivalente e $"\varnothing "$, o conjunto vazio;

2. Se $X=\mathbb{R};A=\{x\in \mathbb{R}|x^3-1=0\};B=\{x\in \mathbb{R}|x^2-1=0\}$ e $C=\{x\in \mathbb{R}|x-1=0\}$, então $A=C=B$;

3. $A-\varnothing =A$ e $A-B=A-(A\cap B));$

4. $A-B\ne A\cap B^C;$

podemos afirmar que está (estão) correta(s):