Dado un sistema de generadores, diremos que es una base si son linealmente independientes.