定義
X を集合、Σ を X の部分集合の集合とする。
Σ を含む最小の擬有界族(>>26) Σ' を Σ から生成された
擬有界族という。