Let $\AA$ be an alphabet of symbols.
A string $S$ in $\AA$ is an infinite string if and only if the sequence of symbols of which it is composed is infinite.