写像と「集合族」「集合列」の性質

写像と「集合族」「集合列」の性質をメンテ。