theorem LemmaId: :: LATWAL_2:3

for W being WA-Lattice
for a being Element of W holds a "/\" a = a by YELLOW_0:25;