... được chứng minh tương tự. 2.4. Không gian. Phần bù của một tập hợp a) Trong các ứng dụng của lí thuyết tập hợp, các tập hợp được xét thường là các tập con của một tập hợp X cho trước. Tập hợp ... thì x ∈ A và x ∈ CA, tức là x ∈ A và x ∉ A, điều này là vô lí. Vậy tập hợp A ∩ CA không có phần tử nào, tức là A ∩ CA = φ. Từ định lí 3 c) và định nghĩa phần bù của tập hợp suy ra rằng: e) ... chỉ thứ tự phép lấy giao. Quan hệ giữa bao hàm thức và giao của các tập hợp được cho trong định lí sau: d) Với các tập hợp bất kì A, B, C, D, ta có: (i) A ∩ B ⊂ A, A ∩ B ⊂ B, (ii) Nếu A ⊂...