Nuprl Definition : fset-constrained-image
f"(s) s.t. P == f-union(domeq;rngeq;s;x.if P (f x) then {f x} else {} fi )
Definitions occuring in Statement :
empty-fset: {},
f-union: f-union(domeq;rngeq;s;x.g[x]),
fset-singleton: {x},
ifthenelse: if b then t else f fi ,
apply: f a
Definitions occuring in definition :
f-union: f-union(domeq;rngeq;s;x.g[x]),
ifthenelse: if b then t else f fi ,
fset-singleton: {x},
apply: f a,
empty-fset: {}
FDL editor aliases :
fset-constrained-image
Latex:
f"(s) s.t. P == f-union(domeq;rngeq;s;x.if P (f x) then \{f x\} else \{\} fi )
Date html generated:
2016_05_14-PM-03_44_18
Last ObjectModification:
2015_10_06-PM-01_35_12
Theory : finite!sets
Home
Index