Introduction to Mathematical Philosophy

by Bertrand Russell

is established between all the members of

and some of the sub-classes, it may happen that a given member

is correlated with a sub-class of which it is a member; or, again, it may happen that

is correlated with a sub-class of which it is not a member. Let us form the whole class,

say, of those members