Nuprl Definition : list-to-set

list-to-set(eq;L) ==  [] ⋃ L


Definitions occuring in Statement :  l-union: as ⋃ bs,  nil: []
Definitions occuring in definition :  l-union: as ⋃ bs,  nil: []
FDL editor aliases :  list-to-set
Latex:
list-to-set(eq;L)  ==    []  \mcup{}  L


Date html generated: 2016_05_14-PM-03_25_36
Last ObjectModification: 2015_09_22-PM-05_59_44

Theory : decidable!equality


Home Index