===== Infinite sequence =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ |

| @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{InfSequence}(X) $ |

| @#55EE55: postulate   | @#55EE55: $A: \mathbb N\to X$ |

==== Discussion ====
Instead of $\langle n,A(n)\rangle$, we also write $A_n$ and denote the whole sequence by $(A_n)_{n\in\mathbb N}$ or just $(A_n)$.
==== Parents ====
=== Subset of ===
[[Function]]
=== Related ===
[[Natural number]]