for L being Z_Lattice
for v, u being Dual of L holds v + u is Dual of L