theorem Th26: :: LATTICE2:26

for L being Lattice holds the L_join of L absorbs the L_meet of L