[tex]A\setminus B[/tex] là tập các phần tử chỉ thuộc $A$ mà không thuộc $B$
[tex]B\setminus A[/tex] là tập các phần tử chỉ thuộc $B$ mà không thuộc $A$
Hai tập hợp này không hề có bất cứ điểm chung nào nên giao nhau ra rỗng.
Về mặt công thức thì như @Lê.T.Hà