. Thus

is not equal to

. This is characteristic of relation-arithmetic generally: if

and

are two relation-numbers, the general rule is that