a class having

terms.

Let

be a member of

, and form the class of all ordered couples that have