Nuprl Definition : lattice-ble

lattice-ble(l;eq;a;b) ==  eq a ∧ b



Definitions occuring in Statement :  lattice-meet: a ∧ b apply: a
Definitions occuring in definition :  apply: a lattice-meet: a ∧ b
FDL editor aliases :  lattice-ble

Latex:
lattice-ble(l;eq;a;b)  ==    eq  a  a  \mwedge{}  b



Date html generated: 2016_05_18-AM-11_23_28
Last ObjectModification: 2015_10_06-PM-01_44_45

Theory : lattices


Home Index