Nuprl Definition : e-union

e-union(A;B) ==  A ⋃ B


Definitions occuring in Statement :  b-union: A ⋃ B
Definitions occuring in definition :  b-union: A ⋃ B
FDL editor aliases :  e-union
Latex:
e-union(A;B)  ==    A  \mcup{}  B


Date html generated: 2019_10_31-AM-07_19_57
Last ObjectModification: 2018_10_12-PM-00_33_40

Theory : lattices


Home Index