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.