Nuprl Definition : free-dl-inc
free-dl-inc(x) == {{x}}
Definitions occuring in Statement :
fset-singleton: {x}
Definitions occuring in definition :
fset-singleton: {x}
FDL editor aliases :
free-dl-inc
Latex:
free-dl-inc(x) == \{\{x\}\}
Date html generated:
2016_05_18-AM-11_30_17
Last ObjectModification:
2015_10_06-PM-01_43_48
Theory : lattices
Home
Index