Nuprl Definition : rel_inverse

R^-1 ==  λx,y. (y x)



Definitions occuring in Statement :  infix_ap: y lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] infix_ap: 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