「集合族」とか「集合の集合」という概念には、なかなかに微妙な点があります。N君も「うーん、よく分からないなー」と嘆いていました。ちょっとだけ真面目に（うんと真面目ではない）考えてみます。クラス関数による集合族の定義を導入して、これがけっこう…