Ta có:
`A ⊂ C`
`=>` Các phần tử của `A` sẽ thuộc `C` `(1)`
`B ⊂ D`
`=>` Các phần tử của `B` sẽ thuộc `D` `(2)`
Ta có:
`A ∪ B` bao gồm các phần tử của cả `A` và `B` `(3)`
`C ∪ D` bao gồm các phần tử của cả `C` và `D` `(4)`
Từ `(1)(2)(3)(4) => (A ∪ B) ⊂ (C ∪ D)`