「集合族」「集合列」

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