Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong B là:

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ử thuộc tập A và tập B.

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