集合関数

「集合関数」についてのノートをメンテ。

被覆

「被覆」についてのノートをメンテ。

二項述語・2変数命題関数の定義

二項述語・2変数命題関数の定義についてのノートのメンテ完了。

特性関数・定義関数

「特性関数」もしくは「定義関数」についてのノートをメンテ完了。

「集合族」「集合列」

「集合族」と「集合列」を定義するノートのメンテ完了。

写像

写像を更新（技術的側面のみ。内容はそのまま。）

単調数列

単調数列のノートを更新（内容の加筆・修正。特に、論理記号による表現。）

対応の諸類型の対比

対応の諸類型の対比軸～いかなる観点で切り分けられたか？を更新（技術的側面）

単調関数

単調関数を更新。

対応の合成

対応の合成を更新。

∀x,y∈S P(x,y,z)の定義・意味・読み

3項述語・3変項命題関数の二重普遍量化∀x,y∈S P(x,y,z)の定義・意味・読みを作成、アップロード。