Nuprl Definition : real-vec-sep
a ≠ b == r0 < d(a;b)
Definitions occuring in Statement :
real-vec-dist: d(x;y),
rless: x < y,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rless: x < y
FDL editor aliases :
real-vec-sep
Latex:
a \mneq{} b == r0 < d(a;b)
Date html generated:
2016_10_26-AM-10_29_02
Last ObjectModification:
2016_09_24-PM-10_52_23
Theory : reals
Home
Index