更新履歴。
単調数列のノートを独立。
二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を更新。
計量実ベクトル空間一般における直交補空間の定義をリフォーム。
二項述語・2変数命題関数の真理集合を更新。
実ベクトル空間におけるノルムとノルム空間の定義をリフォーム。
論理から集合へを更新。相互リンクを密に。