esto implica que la suma de vectores es interna y bien definida.