リンク切れ修正：実数における積の性質

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

対応：リンク切れ対応

対応の諸類型の対比軸～いかなる観点で切り分けられたか？のリンク切れ解消。

べき関数：リンク切れ解消

指数を実数一般に拡張した冪関数（累乗関数）についてのノート。
リンク切れを修正。

∪∩補集合から述語（命題関数）へリンク

集合の基本概念－定義と記号から集合と一項述語(1変数命題関数)との関連へのリンクを拡充。

• ∩から「かつ」との関連へのリンク付加 
• ∪から「または」との関連へのリンク付加
• 補集合から「～でない」との関連へのリンク付加

∩と「かつ」/∪と「または」/補集合と「～でない」の翻訳

集合と一項述語(1変数命題関数)とのリンクを記すノートに、

• ∩と「かつ」 
• ∪と「または」
• 補集合と「～でない」

を追加。

論理と集合論の目次：一項述語・1変数命題関数追加

論理と集合論の目次に、一項述語・1変数命題関数についてのノートへのリンクを追加。

有理数指数のベキ関数：リンク切れ

「有理数指数の冪関数（累乗関数）の性質」についてのノート。
リンク切れ修正。

《集合の内包的記法》から《述語の真理集合》へリンク

集合の基本概念－定義と記号を更新。
集合の内包的記法から、詳しい説明として、述語の真理集合へリンク。

述語・命題関数の議論領域・対象領域・変域

一項述語・一変数命題関数についてのノートに、議論領域・対象領域・変域・定義域等の説明を追加。

集合と一項述語(1変数命題関数)とのリンク

集合と一項述語(1変数命題関数)とのリンクを記すノートを作成。
目下のところ、
・一項述語(1変数命題関数)の真理集合・外延の定義
・集合の内包の定義
のみ。