===== Sequence =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ |
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{Sequence}(X)\equiv\mathrm{FinSequence}(X)\cup\mathrm{InfSequence}(X) $ |

-----
-----
=== Context ===
[[Finite sequence]], [[Infinite sequence]]