which are correlated with sub-classes of which they are not members. This is a sub-class of
, and it is not correlated with any member of
. For, taking first the members of
, each of them is (by the definition of
) correlated with some sub-class of which it is not a member, and is therefore not correlated with