4 ms·
That's only because you insist on explicitly mentioning the last element, which you can only do when the sequence is finite and non-empty (more generally, when
by pwdisswordfishz 2y ago
That's only because you insist on explicitly mentioning the last element, which you can only do when the sequence is finite and non-empty (more generally, when it is indexed by a successor ordinal). So your choice of notation is not only inelegant, it cannot even express all possible sequences.