集合論
●
集合
に対して
かつ
ならば
である
●
を空集合とする。
任意の集合
に対して
つまり、任意の集合は空集合を部分集合としてもつ
● 空集合は一意的である
●
集合
に対して
と
が成り立つ
●
とする。
このとき、以下の二つが成り立つ。
●
という関数があるとする。
とすると、 以下の２つが成り立つ
●
という関数があるとする。
とすると
●
という関数があるとする。
とすると
また
が単射ならば
●
という関数があるとする。
とすると
また
が単射のとき
●
という関数があるとする。
とすると
また
が全射のとき
戻る
{'{'}$subset{'}'}f($mathbb{'{'}X{'}'}){'{'}$cap{'}'}f($mathbb{'{'}Y{'}'}))
=f($mathbb{'{'}X{'}'}){'{'}$cap{'}'}f($mathbb{'{'}Y{'}'}))
)$supset$mathbb{'{'}X{'}'})
)=$mathbb{'{'}X{'}'})
)$subset$mathbb{'{'}Y{'}'})
)=$mathbb{'{'}Y{'}'})