Un objeto válido v del TDA Vector_Dinamico debe cumplir
v.nelementos>= 0 v.datos apunta a una zona de memoria con capacidad para albergar nelementos valores de tipo floatUn objeto válido rep del TDA Vector_Dinamico representa al vector de tamaño n
{v.datos[0],v.datos[1],...,v.datos[v.nelementos-1]}