Nuprl Definition : rfun
I ⟶ℝ == {x:ℝ| x ∈ I} ⟶ ℝ
Definitions occuring in Statement :
i-member: r ∈ I,
real: ℝ,
set: {x:A| B[x]} ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
set: {x:A| B[x]} ,
i-member: r ∈ I,
real: ℝ
FDL editor aliases :
rfun
rfun
Latex:
I {}\mrightarrow{}\mBbbR{} == \{x:\mBbbR{}| x \mmember{} I\} {}\mrightarrow{} \mBbbR{}
Date html generated:
2016_05_18-AM-08_41_24
Last ObjectModification:
2015_09_23-AM-09_07_11
Theory : reals
Home
Index