Introduction to Mathematical Philosophy

by Bertrand Russell

holds, and vice versa; and this is what we desire to secure by our definition. We can eliminate some redundancies in the above sketch of a definition, by observing that, when the above conditions are realised, the relation

is the same as the relative product of

and

and the converse of

, i.e. the