∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 )

論理目次に、

• 四項述語の多重量化: ∀x₁∈S₁ ∃x₂∈S₂ ∀x₃∈S₃  P ( x₁, x₂, x₃, x₄ )　

へのリンクを追加。

関数の右極限を単調減少列の収束へ言い換え

関数の右極限を単調減少列の収束へ言い換える定理の証明。
大枠のリフォーム。

基本行列と基本変形の性質

基本行列elementary matrixと基本変形の性質。大枠のみリニューアル。

Ｗ.ルディン（Ｗalter Rudin)『現代解析学』共立出版

解析学のビブリオグラフィー。
Ｗ.ルディン（Ｗalter Rudin)『現代解析学』共立出版のデータを更新。

触点adherent point、閉包closure、集積点など

「距離空間(R,d)」についてのノート。
触点adherent point、閉包closure、集積点などについて加筆およびリンク設置。

関数の右極限と数列の収束の関連性についての証明

関数の右極限と数列の収束の関連性についての証明　。
大枠のリフォーム。

基本行列の性質

基本行列elementary matrixの性質。大枠のみリニューアル。

志賀浩二『解析入門30講』朝倉

解析学のビブリオグラフィー。
志賀浩二『解析入門30講』朝倉書店のデータを更新。

細井勉『はじめて学ぶイプシロン・デルタ』日本評論社

解析学のビブリオグラフィー。
細井勉『はじめて学ぶイプシロン・デルタ』日本評論社、2010年 のデータを更新。

行列の積の結合則

行列の積の結合則。大枠のみリニューアル。