theorem Th27: :: LATTICE2:27

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