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