Nuprl Definition : lattice-join

a ∨ ==  l."join" b



Definitions occuring in Statement :  record-select: r.x apply: a token: "$token"
Definitions occuring in definition :  apply: a record-select: r.x token: "$token"
FDL editor aliases :  lattice-join

Latex:
a  \mvee{}  b  ==    l."join"  a  b



Date html generated: 2020_05_20-AM-08_23_32
Last ObjectModification: 2015_10_06-PM-01_46_04

Theory : lattices


Home Index