全集合

論理学では、全ての要素を含む集合を全集合と呼ぶ。

この問題では、考えられる全てのケースを網羅する全集合を定義する必要がある。

数学の証明において、全集合とその部分集合の関係は基本となる。