Sequence
Set
context
$X$
definiendum
$ \mathrm{Sequence}(X)\equiv\mathrm{FinSequence}(X)\cup\mathrm{InfSequence}(X) $
Context
Finite sequence
,
Infinite sequence