Must a sequence be well-founded?

Given any set $I$, it makes sense to talk about "$I$-indexed sequences".

We don't need to make any extra assumptions on $I$ for this to make sense. However, some features we might equip $I$ can induce additional structure on $I$-indexed sequences.

For example, choosing a total ordering on $I$ lets us talk about whether one place in the sequence comes before or after another place. Well-orderings are common to consider, because you can do transfinite induction over a well-ordered index set.


The terminology of "sequence" is not completely nailed down.

In the strictest sense, "a sequence in $X$" is a function $\mathbb N \to X$. In a looser sense, $\mathbb N$ might be replaced by another upwards unbounded countable linear order, by any countable linear order, or even by any linear order. In the loosest sense it can refer to any function $I \to X$ from some index set $I$.

If you say sequence without further context, I expect the strictest definition; but if you talk about an $I$-sequence, I accept that no matter what kind of index set $I$ is.


It depends on context.

In most contexts, a sequence is understood by default to mean a $\mathbb{N}$-indexed sequence. So you can talk about e.g. a $\mathbb{Z}$-indexed sequence, but if someone says just “a sequence” without specifying the index set, they should be assumed to be talking about $\mathbb{N}$-indexed sequences.

In some areas of mathematics, the convention is different. In set theory, for instance, sequences indexed by arbitrary ordinals are very commonly used, and so “a sequence” may be used to mean a sequence indexed by some ordinal, even if that’s not explicitly specified.

More generally: if you do specify the domain, how general can it be — arbitrary total order, well-order, poset, …? Well, there’s no standard fixed definition of sequence to restrict this; a sequence is just a function, and the circumstances where one calls a function a sequence are just a matter of field-specific convention. $\mathbb{Z}$-indexed sequences are certainly fairly commonly used; I wouldn’t be surprised to hear sequence used for functions on arbitrary total orders. I’d be slightly surprised to hear sequence used for posets, and very surprised to hear it used for functions on an arbitrary set with no specified order at all.