set L = QLTLattice2 ;
reconsider z = 0 as Element of QLTLattice2 by ENUMSET1:def 1;
reconsider o = 1 as Element of QLTLattice2 by ENUMSET1:def 1;
reconsider dwa = 2 as Element of QLTLattice2 by ENUMSET1:def 1;
(dwa "/\" o) "\/" dwa = o "\/" dwa by QLTEx2Def
.= z by QLTEx1Def ;
hence not QLTLattice2 is meet-absorbing by LATTICES:def 8; :: thesis: verum