Nuprl Definition : rmetric
rmetric() == λx,y. |x - y|
Definitions occuring in Statement :
rabs: |x|,
rsub: x - y,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
rabs: |x|,
rsub: x - y
FDL editor aliases :
rmetric
Latex:
rmetric() == \mlambda{}x,y. |x - y|
Date html generated:
2019_10_29-AM-11_02_47
Last ObjectModification:
2019_10_02-AM-09_43_45
Theory : reals
Home
Index