>>776

例の人が>>769 であげている和久井氏のペーパーで「集合族」を検索すると
最初に出てくるのは42ページ目なんだけど、
そのすぐ上の例5-8ではX={1,2,3}の冪集合を
P(X)={0,{1},{2},{3},{1,2},{2,3},{1,3},{1,2,3}}だとしている。
これも集合族だから冪集合は集合じゃないことになっちゃう。
そこまで馬なんだろうか？？？？