>>538
ほとんど出来ている。

前提条件のもとで　(A∪B)⊆C　を示せばいいわけだから、

「x∈A∪Bとすると、x∈A またはx∈Bなので
(1)x∈Aとすると、A⊆Cよりｘ∈C
(2)x∈Bとすると、B⊆Cよりｘ∈C
だから、いずれにしろx∈C。　よって(A∪B)⊆C」

という感じ。