Function sequences definition

Pointwise convergence definition