単調数列

単調数列のノートを独立。

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を更新。

直交補空間

計量実ベクトル空間一般における直交補空間の定義をリフォーム。

二項述語・2変数命題関数の真理集合

二項述語・2変数命題関数の真理集合を更新。

ノルムとノルム空間

実ベクトル空間におけるノルムとノルム空間の定義をリフォーム。

論理から集合へ

論理から集合へを更新。相互リンクを密に。