集合の計算法則・性質

集合の計算法則・性質を更新。

逆対応

逆対応のノートを更新。

有界な「実数の集合」

有界な「実数の集合」についてのノートを独立させて加筆、アップロード。

対応の定義

対応の定義を更新。

「下に有界」「下界」の定義：「実数の集合」のケース

下に有界な「実数の集合」、「実数の集合」の下界についてのノートを加筆して独立化。

πの十進近似列

πの十進近似列をアップロード。

「上に有界」「上界」～「実数の集合」のケース

上に有界な「実数の集合」、「実数の集合」の上界についてのノートを加筆して独立化。

「集合系」「ベキ集合」

「集合系」と「ベキ集合」についてのノートを更新。

一変数有界関数

有界関数についてのノートを独立、アップロード。

－πの十進近似列

実数の十進近似列の具体例:－πをアップロード。

三項述語二重量化 ∃x∈S ∀y∈T P(x,y,z)

三項述語・3変項命題関数の二重量化∃x∈S ∀y∈T P(x,y,z)の定義・意味・読みなどについて、ノートを新規作成。アップロード。