Nuprl Definition : closure-set

closure-set(B;Y;x) is the set of things we need to add to set x
(iteratively) to eventually close x under function Y.
The bound B makes this possible.⋅

closure-set(B;Y;x) == ⋃b∈B. ⋃A∈setimages(b;x).Y A

Definitions occuring in Statement : setimages: setimages(A;B), setunionfun: ⋃x∈s.f[x], apply: f a
Definitions occuring in definition : setunionfun: ⋃x∈s.f[x], apply: f a, setimages: setimages(A;B)
FDL editor aliases : closure-set

Latex:
closure-set(B;Y;x) == \mcup{}b\mmember{}B. \mcup{}A\mmember{}setimages(b;x).Y A Date html generated: 2018_07_29-AM-10_09_58 Last ObjectModification: 2018_05_30-PM-06_58_36 Theory : constructive!set!theory Home Index