The symmetric difference between two sets A and B (denoted AΔB) is given as: . This operator is symmetric in that AΔB=BΔA. Also, AΔA is the empty set, while the symmetric difference of the empty set with any set is that set.
The set-theoretic operator Δ obeys several laws:
Symmetric differences are used to create filters for forcing constructions.