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