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