. Thus the serial relation which is to be defined as the sum of

and

is not "

or

" simply, but "