Introduction to Mathematical Philosophy

by Bertrand Russell

Let

and

be two relations, which it is well to imagine serial, though it is not necessary to our definitions that they should be so. Let

be a one-many relation whose domain is contained in the field of

, while its converse domain is contained in the field of