theorem :: LATWAL_2:5

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