Nuprl Definition : rleq*
x ≤ y == λa,b. (a ≤ b)*(x,y)
Definitions occuring in Statement :
rrel*: R*(x,y),
rleq: x ≤ y,
lambda: λx.A[x]
Definitions occuring in definition :
rrel*: R*(x,y),
lambda: λx.A[x],
rleq: x ≤ y
FDL editor aliases :
rleq*
Latex:
x \mleq{} y == \mlambda{}a,b. (a \mleq{} b)*(x,y)
Date html generated:
2018_05_22-PM-03_17_03
Last ObjectModification:
2017_10_06-PM-03_16_15
Theory : reals_2
Home
Index