Definition 4.1.1
Let
and
. Let
be a function defined on a (pointed)
neighborhood
of
. The element
is the limit of
when
tends to
if for every neighborhood
of
there exists a neighborhood
of
such that
.

Notation:
.

This general definition can be dispatched into several particular ones: