Nuprl Definition : unionset
⋃(s) == ⋃x∈s.x
Definitions occuring in Statement :
setunionfun: ⋃x∈s.f[x]
Definitions occuring in definition :
setunionfun: ⋃x∈s.f[x]
FDL editor aliases :
unionset
Latex:
\mcup{}(s) == \mcup{}x\mmember{}s.x
Date html generated:
2018_05_22-PM-09_49_27
Last ObjectModification:
2018_05_21-AM-09_36_33
Theory : constructive!set!theory
Home
Index