Nuprl Definition : e-isect

e-isect(A;B) ==  A ⋂ B


Definitions occuring in Statement :  isect2: T1 ⋂ T2
Definitions occuring in definition :  isect2: T1 ⋂ T2
FDL editor aliases :  e-isect
Latex:
e-isect(A;B)  ==    A  \mcap{}  B


Date html generated: 2020_05_20-AM-08_24_30
Last ObjectModification: 2018_10_12-PM-00_20_57

Theory : lattices


Home Index