theorem :: LATWAL_2:9

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:14;