リンク切れ処理：実数のあいだの不等式

実数のあいだの不等式についてのノートのリンク切れを処理。

リンク切れ修正：実数における不等式との加法乗法の関係

実数における不等式との加法乗法の関係についてのノート

部分集合、集合間の＝を表す命題

集合から論理へに、

• 集合間の包含関係⊂を表す命題
• 集合間の一致＝を表す命題
• 普遍集合との一致を表す命題
• 空集合との一致を表す命題

を追加。

集合から論理へ

集合から論理へに、積集合∩の内包、和集合∪の内包、補集合の内包を追加。

集合から論理へ

集合から論理へを作成。まずは、集合の内包、∈を表す述語・命題関数から。

距離空間

「距離空間(R,d)」についてのノートのリンク切れを修正。

文献一覧に竹内外史『現代集合論入門』を追加。

論理と集合論のビブリオグラフィーに竹内外史『現代集合論入門』を追加。

リンク切れ訂正：実数の和

実数における加法の性質のリンク切れを修正。

総目次：一項述語・一変数命題関数

総目次にも、一項述語・一変数命題関数についてのノートへのリンクを追加。