Nuprl Definition : fl-vertex

fl-vertex(u) ==  {{u}}


Definitions occuring in Statement :  fset-singleton: {x}
Definitions occuring in definition :  fset-singleton: {x}
FDL editor aliases :  fl-vertex
Latex:
fl-vertex(u)  ==    \{\{u\}\}


Date html generated: 2016_05_18-AM-11_39_34
Last ObjectModification: 2016_01_19-PM-05_16_56

Theory : lattices


Home Index