部分集合系
from 集合系
いくつかの部分集合からなる集合
「全ての部分集合からなる集合」ではなくていい
「集合の集合」ではなく「部分集合の集合」
全ての部分集合からなる集合は冪集合と呼ぶ
$ 2^n個の元がある
故に「部分集合系」は「冪集合の部分集合」とも言える
https://gyazo.com/29dda93a90e738ed4e8b47a266b46eca
この左下の$ \{S_1,S_2,S_3\}は集合$ Sの部分集合系
$ \{S_1,S_2\}ももちろん集合$ Sの部分集合系