theorem Lemacik001: :: LATQUASI:3

for v0, v1 being Element of QLTLattice1 st v1 = 0 holds
v0 "\/" v1 = v1