An enquiry concerning the principles of natural knowledge

by Alfred North Whitehead

are distinct, then

:

(iv) The relation

is transitive, i.e. if

and

, then