theorem LemmaId2: :: LATWAL_2:4

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