>>619
>クラスの全体Cは…2^V あるいはc:V→{0,1}
c':V→{0}
もダメだけどね