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