theorem :: LATWAL_2:10

for W being WA-Lattice
for a, b, c being Element of W st W is transitive holds
(a "/\" b) "/\" c = a "/\" (b "/\" c) by LATTICE3:16;