Nuprl Definition : vr_sub-rel
R1 <= R2 == 
x:T. y:U. ((R1 x y) 
(R2 x y))
Definitions occuring in Statement :
all: x:A. B[x],
implies: P Q,
apply: f a
FDL editor aliases :
vr_sub-rel
R1 <= R2 == \mforall{}x:T. \mforall{}y:U. ((R1 x y) {}\mRightarrow{} (R2 x y))
Date html generated:
2012_02_20-PM-03_32_46
Last ObjectModification:
2012_02_02-PM-01_55_12
Home
Index