Un vector libre es cada una de las clases de equivalencia establecidas en el conjunto de los vectores fijo por la anterior relación de equivalencia.