 a meet.
|
| The following three laws hold in any lattice L:
|
| 1.  x |_| y  =  y |_| x,
|
|     x |^| y  =  y |^| x,
|
|     (&quot;commutative law&quot;);
|
| 2.  x |_| (y |_| z)  =  (x |_| y) |_| z,
|
|     x |^| (y |^| z)  =  (x |^| y) |^| z,
|
|     (&quot;associative law&quot;);
|
| 3.  x |_| (y |^| x)  =  (x |_| y) |^| x  =  x,
|
|     (&quot;absorption law&quot;).
|
| EDM 2, page 894.
|
|'Encyclopedic Dictionary of Mathematics', 2nd edition,
| edited by the Mathematical Society of Japan,
| MIT Pres