Nuprl Definition : orderedpairset

(a,b) ==  {{a},{a,b}}



Definitions occuring in Statement :  pairset: {a,b} singleset: {a}
Definitions occuring in definition :  pairset: {a,b} singleset: {a}
FDL editor aliases :  orderedpairset

Latex:
(a,b)  ==    \{\{a\},\{a,b\}\}



Date html generated: 2018_05_22-PM-09_49_45
Last ObjectModification: 2018_05_16-PM-01_31_33

Theory : constructive!set!theory


Home Index