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