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

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

Tập chứa tất cả các phần tử hoặc thuộc tập hợp A hoặc thuộc tập hợp B.

Tập chứa các phần tử thuộc tập hợp A nhưng không thuộc tập hợp B.

Tập bao gồm những phần tử không thuộc A.