Nuprl Definition : orderedpair-fst

fst(pr) ==  singleitem(orderedpair-fsts(pr))


Definitions occuring in Statement :  orderedpair-fsts: orderedpair-fsts(pr),  singleitem: singleitem(s)
Definitions occuring in definition :  orderedpair-fsts: orderedpair-fsts(pr),  singleitem: singleitem(s)
FDL editor aliases :  op-fst
Latex:
fst(pr)  ==    singleitem(orderedpair-fsts(pr))


Date html generated: 2018_05_29-PM-01_48_52
Last ObjectModification: 2018_05_28-AM-10_01_59

Theory : constructive!set!theory


Home Index