Nuprl Definition : vr_SURJ
vr_SURJ(f;A;B) == 
y:B. 
x:A. (y = (f x))
Definitions occuring in Statement :
all: x:A. B[x],
exists: x:A. B[x],
apply: f a,
equal: s = t
FDL editor aliases :
vr_SURJ
vr\_SURJ(f;A;B) == \mforall{}y:B. \mexists{}x:A. (y = (f x))
Date html generated:
2012_02_20-PM-03_34_31
Last ObjectModification:
2012_02_02-PM-01_55_34
Home
Index