Nuprl Definition : almost-positive
almost-positive(x) == ¬¬(r0 < x)
Definitions occuring in Statement :
rless: x < y,
int-to-real: r(n),
not: ¬A,
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rless: x < y,
not: ¬A
FDL editor aliases :
almost-positive
Latex:
almost-positive(x) == \mneg{}\mneg{}(r0 < x)
Date html generated:
2017_01_09-AM-08_56_08
Last ObjectModification:
2016_11_16-PM-06_28_05
Theory : reals
Home
Index