from 集合系

いくつかの部分集合からなる集合

「全ての部分集合からなる集合」ではなくていい

「集合の集合」ではなく「部分集合の集合」

全ての部分集合からなる集合は冪集合と呼ぶ

2^n個の元がある

故に「部分集合系」は「冪集合の部分集合」とも言える

この左下の\{S_1,S_2,S_3\}は集合Sの部分集合系

\{S_1,S_2\}ももちろん集合Sの部分集合系