Nuprl Definition : rel_inverse
R^-1 == λx,y. (y R x)
Definitions occuring in Statement :
infix_ap: x f y,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
infix_ap: x f y
FDL editor aliases :
rel_inverse
Latex:
R\^{}-1 == \mlambda{}x,y. (y R x)
Date html generated:
2016_05_14-AM-06_04_08
Last ObjectModification:
2015_09_22-PM-05_46_46
Theory : relations
Home
Index