Nuprl Definition : vs-map-image
b ∈ Img(f) ==  ∃a:Point(A). ((f a) = b ∈ Point(B))
Definitions occuring in Statement : 
vs-point: Point(vs)
, 
exists: ∃x:A. B[x]
, 
apply: f a
, 
equal: s = t ∈ T
Definitions occuring in definition : 
exists: ∃x:A. B[x]
, 
equal: s = t ∈ T
, 
vs-point: Point(vs)
, 
apply: f a
FDL editor aliases : 
vs-map-image
Latex:
b  \mmember{}  Img(f)  ==    \mexists{}a:Point(A).  ((f  a)  =  b)
Date html generated:
2019_10_31-AM-06_27_18
Last ObjectModification:
2019_08_12-PM-00_37_44
Theory : linear!algebra
Home
Index