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