Nuprl Definition : isect-rel

isect-rel(T;i.R[i]) ==  λx,y. ∀i:T. (R[i] x y)


Definitions occuring in Statement :  all: ∀x:A. B[x],  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  all: ∀x:A. B[x],  apply: f a
FDL editor aliases :  isect-rel
Latex:
isect-rel(T;i.R[i])  ==    \mlambda{}x,y.  \mforall{}i:T.  (R[i]  x  y)


Date html generated: 2016_05_14-AM-06_04_51
Last ObjectModification: 2015_09_22-PM-05_46_48

Theory : relations


Home Index