Nuprl Definition : mconverges
x[n]↓ as n→∞ == ∃y:X. lim n→∞.x[n] = y
Definitions occuring in Statement :
mconverges-to: lim n→∞.x[n] = y,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
mconverges-to: lim n→∞.x[n] = y
FDL editor aliases :
mconverges
Latex:
x[n]\mdownarrow{} as n\mrightarrow{}\minfty{} == \mexists{}y:X. lim n\mrightarrow{}\minfty{}.x[n] = y
Date html generated:
2019_10_30-AM-06_39_48
Last ObjectModification:
2019_10_02-AM-10_52_37
Theory : reals
Home
Index