Nuprl Definition : itersetfun
itersetfun(s.G[s];a) == G[ ⋃x∈a.itersetfun(s.G[s];x)]
Definitions occuring in Statement :
setunionfun: ⋃x∈s.f[x]
Definitions occuring in definition :
setunionfun: ⋃x∈s.f[x]
FDL editor aliases :
itersetfun
Latex:
itersetfun(s.G[s];a) == G[ \mcup{}x\mmember{}a.itersetfun(s.G[s];x)]
Date html generated:
2018_05_22-PM-09_51_52
Last ObjectModification:
2018_05_22-PM-05_13_54
Theory : constructive!set!theory
Home
Index