もし、ひとつの集合の部分集合が複数・多数 存在すれば──それらの部分集合の数を N とすれば──、2^N の 「場合分け」 をしなければならない [「集合族」 を考えれば、2^N になることは直ぐに わかるでしょう、たとえば 部分集合が 3つ存在すれば集合族は 2³ となる ]。部分集合のあいだに AND 関係を認めれば、プログラム は 2^N の分岐 （IF ステートメント） を書かなければならない。すなわち、書かなくてもいい （無駄に膨大な数の） ステートメント を書くことになる。もし、部分集合のあいだに AND 関係が存在するのならば、しかるべき措置 （AND 関係を排除する措置） を とらなければならない──モデル TM では、「対照表」 を使って対応する。 □