Cho A và B là hai tập hợp. Hiệu đối xứng của A và B được ký hiệu A - B, là:

Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và

B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B.

Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B.

Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.