Dado formula_191 un espacio vectorial y formula_197 un conjunto de vectores, el conjunto formula_198 es el subespacio vectorial más pequeño contenido en formula_191 y que contiene a formula_200.