for a progression of couples, and this decision of course governs our general interpretation of "

" when

and

are relation-numbers: "

" will have to stand for a suitably constructed sum of a relations each having