Es el subespacio vectorial más pequeño posible que contiene a un cierto conjunto dado de antemano, formalmente lo definiremos de la siguiente manera.