差集合などの概念を用いて表現することができます。>共通部分や和集合の特徴づけ補集合による特徴づけ包含関係は補集合を用いて以下のように表現できます。つの命題は同値である。X^{c}\end{eqnarray*}証明を見る(プレミアム会員限定)つまり、\(X\)が\(Y\)の部分集合であることは、\(Y\)の補集合が\(X\)の補集合の部分集合であることと言い換え可能です。補集合ここでは命題の視覚的な意味を確認します。Y\)が成り立つ様子が上図に描かれています。X^{c}\)が成り立つことを確認できます。共通部分や和集合による特徴づけ包含関係は共通部分や和集合を用いて以下のように表現できます。つの命題は同値である。Y=Y\end{eqnarray*}証明を見る(プレミアム会員限定)つまり、\(X\)が\(Y\)の部分集合であることは、\(X\)と\(Y\)の共通部分が\(X\)と一致することや、\(X\)と\(Y\)の和集合が\(Y\)と一致することと言い換え可能です。差集合による特徴づけ包含関係は差集合を用いて以下のように表現できます。つの命題は同値である。X)\end{eqnarray*}証明を見る(プレミアム会員限定)つまり、\(X\)が\(Y\)の部分集合であることは、\(X\)と\(Y\)の差集合が空集合であることなどに言い換え可能です。次回は包含関係を使って共通部分や和集合がどのような集合であるか、特徴づけを行います。>共通部分や和集合の特徴づけワイズをさらに活用するための会員サービスユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。会員サービスの詳細を見る会員サービスディスカッションに参加しますか?質問やコメントを投稿するためにはログインが必要ですログイン会員登録コメント投稿に際するお願い返信をキャンセルする。>有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。>皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。