Nuprl Definition : fset-image
f"(s) == f-union(domeq;rngeq;s;x.{f x})
Definitions occuring in Statement :
f-union: f-union(domeq;rngeq;s;x.g[x]),
fset-singleton: {x},
apply: f a
Definitions occuring in definition :
f-union: f-union(domeq;rngeq;s;x.g[x]),
fset-singleton: {x},
apply: f a
FDL editor aliases :
fset-image
Latex:
f"(s) == f-union(domeq;rngeq;s;x.\{f x\})
Date html generated:
2016_05_14-PM-03_43_48
Last ObjectModification:
2015_10_06-PM-01_35_27
Theory : finite!sets
Home
Index