>>531
> 自分は
> ＞「『A⊆Cのとき、　⊆　の定義により、　∀x（x∈A⇒x∈C） 　である』　同様に　『B⊆Cのとき　∀ｘ（x∈B⇒x∈C）　である』 」
> おなじ∀xを使うのに何か抵抗があります
ずっと大きな集合Ωがあって、A,B,Cの3つの集合はすべてΩの部分集合である、という状況を考えましょう。
上の　『「∀x（x∈A⇒x∈C）」　同時に「∀x（x∈A⇒x∈C）」』　は　
『「∀x∈Ω（if x∈A, then x∈C）」and「∀x∈Ω（if x∈B, then x∈C）」』
ということだと考えたらどうです？