部分集合
部分集合 (ぶぶんしゅうごう、英: subset)
Y が X の部分集合 (subset) であるとは,Y の任意の要素は X の要素でもあること
$ A ⊆ B \land A ≠ B の場合は真部分集合
$ Y \subseteq X
読み方:
$ Y は$ X の部分集合である
$ Y は$ X に包まれる
$ \subseteq の底部分が飲み込まれる側$ Y
$ \subseteq の口部分が飲み込む側$ X
$ \emptyset と X 自身も X の部分集合である.従って$ X \subseteq X も真である
例
$ Y = \{\text{りんご}, \text{スイカ}\} 、$ X = \{\text{りんご}, \text{みかん}, \text{スイカ}\}
{ りんご, スイカ } ⊂ { りんご, みかん, スイカ }
確認用
Q. 部分集合
参考
関連
像
核(カーネル)
Vacuous Truth
包含関係