cuando dos vectores son linealmente independientes
donde v1, v2, …, v"k" están en S, y "a"1, "a"2, ..., "a""k" están en F forman un subespacio lineal llamado Sistema generador de S. El sistema generador de S es también la intersección de todos los subespacios lineales que contienen a S. En otras palabras, es el subespacio lineal, más pequeño para la relación de inclusión, que contiene a S.