 ∗21 extends the notion of class which is the extension of a one place propositional function to the comparable notion of a “Relation” for functions of two arguments with the analagous contextual definition.