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

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

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 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.