Certain propositions in the logic of relation deserve to be mentioned
if u ,v be any two classes ,
there is a relation R the assertion of which between any two terms x and y is equivalent to the assertion that x belongs to u and y to v
if u be any class which is not null