On Tuesday, 28 July 2015 at 11:23:07 UTC, Elvis Zhou wrote:
WTF does 'Seq' means?
AliasSequence is much better!
Seq is a function that maps natural numbers to values in the set
X.
«A finite sequence is a finite indexed set of values of the same
type, whose domain is a contiguous set of positive integers
starting at 1.»
In Z-notation:
«seq X is the set of all finite sequences of values of X , that
is, of finite functions from the set 1 . . n, for some n, to
elements of X .»
«seq1 X is the set of all non-empty finite sequences of values of
X .»
«iseq X is the set of injective finite sequences over X : these
are precisely the
finite sequences over X which contain no repetitions.»
