. Taking next the terms which are not members of
, each of them (by the definition of
) is correlated with some sub-class of which it is a member, and therefore again is not correlated with
. Thus no member of
is correlated with
. Taking next the terms which are not members of
, each of them (by the definition of
) is correlated with some sub-class of which it is a member, and therefore again is not correlated with
. Thus no member of
is correlated with