Explanation

B - A represents the set of elements that are in B but not in A.

The correct notation is: {x | x ∈ B and x ∉ A}