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: 2020_05_20-AM-08_51_25
Last ObjectModification: 2016_01_19-PM-05_16_56

Theory : lattices


Home Index