Nuprl Definition : rrange
f[x](x∈I) == λy.∃x:ℝ. ((x ∈ I) ∧ (f[x] = y))
Definitions occuring in Statement :
i-member: r ∈ I,
req: x = y,
real: ℝ,
exists: ∃x:A. B[x],
and: P ∧ Q,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
exists: ∃x:A. B[x],
real: ℝ,
and: P ∧ Q,
i-member: r ∈ I,
req: x = y
FDL editor aliases :
rrange
Latex:
f[x](x\mmember{}I) == \mlambda{}y.\mexists{}x:\mBbbR{}. ((x \mmember{} I) \mwedge{} (f[x] = y))
Date html generated:
2016_05_18-AM-09_08_06
Last ObjectModification:
2015_09_23-AM-09_10_05
Theory : reals
Home
Index