Let be any set, and let be a topological space. A sequence of functions mapping to is said to be pointwise convergent (or simply convergent) to another function , if the sequence converges to for each in . This is usually denoted by .