Nuprl Definition : converges
x[n]↓ as n→∞ == ∃y:ℝ. lim n→∞.x[n] = y
Definitions occuring in Statement :
converges-to: lim n→∞.x[n] = y,
real: ℝ,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
real: ℝ,
converges-to: lim n→∞.x[n] = y
FDL editor aliases :
converges
converges
Latex:
x[n]\mdownarrow{} as n\mrightarrow{}\minfty{} == \mexists{}y:\mBbbR{}. lim n\mrightarrow{}\minfty{}.x[n] = y
Date html generated:
2016_05_18-AM-07_35_54
Last ObjectModification:
2015_09_23-AM-09_02_02
Theory : reals
Home
Index