are the two sets of classes, and

is some member of

, there will be a member

of

which will be the correlate of