\lim_{y\to y_0}g(y)=a\Longleftrightarrow (\forall\, V_a)(\exists\, U_{y_0}) \Bigg [g(\stackrel{\circ}{U}_{y_0})\subseteq V_a\Bigg ]