A con C : những phần tử thuộc A đều thuộc C. ( C bao hàm A)
B con D: những phần tử thuộc B đều thuộc D.( D bao hàm B)
A hợp B : những phần tử thuộc A hoặc thuộc B.( thuộc cả A và B)
C hợp D: những phần tử thuộc C hoặc thuộc D. ( thuộc cả C và D)
Cái này rõ ràng quá rồi nhỉ?!
Trình bày thì chắc như này!
Ta có: A con C => x thuộc A => x thuộc C
B con D => x thuộc B => x thuộc D
=> A hợp B = { x thuộc A} hợp {x thuộc B}
C hợp D ={ x thuộc C} hợp { x thuộc D}
=> A hợp B là con của C hợp D (đpcm)