Nuprl Definition : fset-union
x ⋃ y == x ⋃ y
Definitions occuring in Statement :
l-union: as ⋃ bs
Definitions occuring in definition :
l-union: as ⋃ bs
FDL editor aliases :
fset-union
Latex:
x \mcup{} y == x \mcup{} y
Date html generated:
2016_05_14-PM-03_38_29
Last ObjectModification:
2015_10_06-PM-01_37_37
Theory : finite!sets
Home
Index