Bộ phận của một tập hợp Định nghĩa : Giả sử A và B là hai tập hợp. Ta kí hiệu A⊂ B quan hệ sau đây: với mọi x, x ∈A kéo theo x ∈B. Nói một cách khác, quan hệ A ⊂B có nghĩa là mọi phần tử của A đều thuộc B. Quan hệ A ⊂ B là quan hệ bao hàm, đọc là “A chứa trong B”, hoặc “B chứa A”, hoặc “A là một bộ phận của B”, hoặc “A là một tập hợp con của B” và người ta cũng viết B ⊃A. Phủ định của A ⊂B viết là A⊄ B hay B ⊃A. đó đây là định nghĩa đó
