"The latter definition is often employed in constructive settings, where the limit x may actually be identified with the convergent sequence." edit

Either "latter" should be replaced with "former", or "convergent" should be replaced with "Cauchy" and "limit x" with something else. In any case, I'm not familiar enough with constructivism to edit this. Surement (talk) 21:29, 2 May 2014 (UTC)Reply