theorem :: LATWAL_2:6

for W being WA-Lattice
for a, b being Element of W holds a "\/" b = b "\/" a ;