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