Via the injective natural map V → V∗∗, any vector space can be embedded into its bidual; the map is an isomorphism if and only if the space is finite-dimensional.
Prin intermediul aplicației injective naturale⁠(d) V → V∗∗, orice spațiu vectorial poate fi încorporat în bidualul său; aplicația este un izomorfism dacă și numai dacă spațiul este finit-dimensional.