Sequence

Set

context $X$
definiendum $ \mathrm{Sequence}(X)\equiv\mathrm{FinSequence}(X)\cup\mathrm{InfSequence}(X) $


Context

Link to graph
Log In
Improvements of the human condition