Nuprl Definition : rfun-eq
rfun-eq(I;f;g) == ∀x:{x:ℝ| x ∈ I} . (f(x) = g(x))
Definitions occuring in Statement :
r-ap: f(x),
i-member: r ∈ I,
req: x = y,
real: ℝ,
all: ∀x:A. B[x],
set: {x:A| B[x]}
Definitions occuring in definition :
all: ∀x:A. B[x],
set: {x:A| B[x]} ,
real: ℝ,
i-member: r ∈ I,
req: x = y,
r-ap: f(x)
FDL editor aliases :
rfun-eq
Latex:
rfun-eq(I;f;g) == \mforall{}x:\{x:\mBbbR{}| x \mmember{} I\} . (f(x) = g(x))
Date html generated:
2016_05_18-AM-08_42_00
Last ObjectModification:
2015_09_23-AM-09_07_24
Theory : reals
Home
Index