Description: A vector is zero iff its span is the isomorphism of lattice zero. (Contributed by NM, 16-Aug-2014) (New usage is discouraged.)