Nuprl Definition : realspace
realspace() == mktopspace(ℝ;λx,y. (x = y);TERMOF{req-equiv:o, 1:l})
Definitions occuring in Statement :
mktopspace: mktopspace(T;E;equiv),
req: x = y,
real: ℝ,
lambda: λx.A[x]
Definitions occuring in definition :
req-equiv,
req: x = y,
lambda: λx.A[x],
real: ℝ,
mktopspace: mktopspace(T;E;equiv)
TermOfs occuring in Definition :
req-equiv
FDL editor aliases :
realspace
Latex:
realspace() == mktopspace(\mBbbR{};\mlambda{}x,y. (x = y);TERMOF\{req-equiv:o, 1:l\})
Date html generated:
2018_07_29-AM-09_49_07
Last ObjectModification:
2018_06_21-AM-10_47_16
Theory : inner!product!spaces
Home
Index