Nuprl Definition : lattice-ble
lattice-ble(l;eq;a;b) ==  eq a a ∧ b
Definitions occuring in Statement : 
lattice-meet: a ∧ b
, 
apply: f a
Definitions occuring in definition : 
apply: f 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