Nuprl Definition : fset-add
fset-add(eq;x;s) == {x} ⋃ s
Definitions occuring in Statement :
fset-singleton: {x},
fset-union: x ⋃ y
Definitions occuring in definition :
fset-union: x ⋃ y,
fset-singleton: {x}
FDL editor aliases :
fset-add
Latex:
fset-add(eq;x;s) == \{x\} \mcup{} s
Date html generated:
2016_05_14-PM-03_39_46
Last ObjectModification:
2015_10_06-PM-01_37_08
Theory : finite!sets
Home
Index