Nuprl Definition : plus-set
(a)+ == {a} + a
Definitions occuring in Statement :
set-add: a + b,
singleset: {a}
Definitions occuring in definition :
singleset: {a},
set-add: a + b
FDL editor aliases :
plus-set
Latex:
(a)+ == \{a\} + a
Date html generated:
2018_05_22-PM-09_49_59
Last ObjectModification:
2018_05_21-AM-09_47_42
Theory : constructive!set!theory
Home
Index