Nuprl Definition : fset-singleton
{x} == [x]
Definitions occuring in Statement :
cons: [a / b],
nil: []
Definitions occuring in definition :
cons: [a / b],
nil: []
FDL editor aliases :
fset-singleton
Latex:
\{x\} == [x]
Date html generated:
2016_05_14-PM-03_38_45
Last ObjectModification:
2015_10_06-PM-01_37_28
Theory : finite!sets
Home
Index