Nuprl Definition : singleitem

singleitem(s) ==  ⋃(s)


Definitions occuring in Statement :  unionset: ⋃(s)
Definitions occuring in definition :  unionset: ⋃(s)
FDL editor aliases :  singleitem
Latex:
singleitem(s)  ==    \mcup{}(s)


Date html generated: 2018_05_29-PM-01_47_59
Last ObjectModification: 2018_05_28-AM-09_40_22

Theory : constructive!set!theory


Home Index