Nuprl Definition : preima_of_rel
R_f == λx,y. ((f x) R (f y))
Definitions occuring in Statement :
infix_ap: x f y,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
apply: f a,
infix_ap: x f y,
lambda: λx.A[x]
Latex:
R\_f == \mlambda{}x,y. ((f x) R (f y))
Date html generated:
2016_10_21-AM-09_44_05
Last ObjectModification:
2016_08_08-PM-09_02_38
Theory : quot_1
Home
Index