Nuprl Definition : setimages
setimages(A;B) == ⋃f∈A ⟶ B.{imageset(B;f)}
Definitions occuring in Statement :
imageset: imageset(B;f),
funset: A ⟶ B,
singleset: {a},
setunionfun: ⋃x∈s.f[x]
Definitions occuring in definition :
funset: A ⟶ B,
imageset: imageset(B;f),
singleset: {a},
setunionfun: ⋃x∈s.f[x]
FDL editor aliases :
setimages
Latex:
setimages(A;B) == \mcup{}f\mmember{}A {}\mrightarrow{} B.\{imageset(B;f)\}
Date html generated:
2018_05_29-PM-01_51_23
Last ObjectModification:
2018_05_29-AM-00_17_02
Theory : constructive!set!theory
Home
Index