Question: is there two cayley tables when generate every modular lattice such as (x v y) ^ y = y

 is there two cayley tables when generate every modular lattice such as (x v y) ^ y = y

 how to generate these two cayley table for join and meet with axiom  (x v y) ^ y = y

Please Wait...