Phần bù

Trong lý thuyết tập hợp và các ngành khác của toán học, có hai loại phần bù được định nghĩa, phần bù tương đối và phần bù tuyệt đối.

Phần bù tương đối

Cho A và B là các tập hợp, khi đó phần bù tương đối của A trong B, hay còn gọi là hiệu tập hợp của B và A, là tập gồm tất cả các phần tử nằm trong B, nhưng không nằm trong A.

Phần bù tương đối của A trong B:
$B-A~~~=~~~A^{c}\cap B$

Phần bù tương đối của A trong B được viết là B − A (hoặc B \ A).

Dưới dạng ký hiệu toán học:

$B-A=\{x\in B\,|\,x\notin A\}.$

Phần bù tuyệt đối

Phần bù của A trong U:
$A^{c}~~~=~~~U-A$

Cho một tập U và A là tập con của U. Khi đó phần bù của A trong U được gọi là phần bù tuyệt đối (hay đơn giản là phần bù) của A, ký hiệu là A^C (hoặc đôi khi A′), nghĩa là:

A^C  = U − A.

Xem thêm

• Lý thuyết tập hợp