Nuprl Definition : orderedpair-fsts

orderedpair-fsts(pr) ==  ⋂(pr)


Definitions occuring in Statement :  intersectionset: ⋂(s)
Definitions occuring in definition :  intersectionset: ⋂(s)
FDL editor aliases :  orderedpair-fsts
Latex:
orderedpair-fsts(pr)  ==    \mcap{}(pr)


Date html generated: 2018_05_29-PM-01_48_43
Last ObjectModification: 2018_05_28-AM-09_49_48

Theory : constructive!set!theory


Home Index