 This map is a monomorphism, and hence its image is isomorphic to .For modules and vector spaces, this subset  is the only empty-generated submodule (or 0-dimensional linear subspace) in each module (or vector space) .The object is a terminal object of any algebraic structure where it exists, like it was described for examples above.