:: deftheorem DefA1 defines Meet-absorbing LATTAD_1:def 2 :
for L being non empty LattStr holds
( L is Meet-absorbing iff for x, y being Element of L holds (x "\/" y) "/\" y = y );