Description: The GLB of a set of lattice elements S is the same as that of the set T with elements of S cut down to be under W . (Contributed by NM, 19-Mar-2014) (New usage is discouraged.)
Ref | Expression | ||
---|---|---|---|
Hypotheses | dihglblem.b | |
|
dihglblem.l | |
||
dihglblem.m | |
||
dihglblem.g | |
||
dihglblem.h | |
||
dihglblem.t | |
||
Assertion | dihglblem2N | |