Term 'relation': A sequence is internally a table with one row - right?
Shall we extend the list of concrete relations by 'sequence'? Or is this
not necessary because 'table' is already there?

I wrote one for sequence, it was a bit math-y for Alvaro's taste, so we're going to try again.