Convergent sequence space (source code)

= Convergent sequence space

This is the <sequence space> of sequences with a finite limit.

The space $c$ consists of convergent scalar sequences with the supremum norm.