Call the equivalence classes of the relation co-intention classes, or co-classes for short.
Thus, any pair of distinct co-classes can be put into a one-to-one correspondence by some permutation.
!H.sub.2^) of co-classes a resolution !!Rho^.sub.!H.sub.2^,!H.sub.1^^ of !H.sub.2^ on to !H.sub.1^ such that for any !H.sub.1^, !H.sub.2^, and !H.sub.3^