In a metric space (X, d), a sequence in X is said to converge to a point if roughly speaking as goes to infinity gets closer and closer to and stays there. Rigorously, is said to converge to if for all there exists N such that for all n > N we have .
Similar definitions can be made for convergence of functions.