Taʼrif: A\B = {x | x∈A va x∉B}. Xususiyatlar: A\A = ∅, A\∅ = A, ∅\A = ∅. Umumiy emas: A\B ≠ B\A odatda