Nuprl Definition : setTC
setTC(a) == a + ⋃x∈a.setTC(x)
Definitions occuring in Statement :
set-add: a + b,
setunionfun: ⋃x∈s.f[x]
Definitions occuring in definition :
setunionfun: ⋃x∈s.f[x],
set-add: a + b
FDL editor aliases :
setTC
setTC
setTC
Latex:
setTC(a) == a + \mcup{}x\mmember{}a.setTC(x)
Date html generated:
2018_07_29-AM-10_00_25
Last ObjectModification:
2018_07_21-AM-11_45_17
Theory : constructive!set!theory
Home
Index