# Vector space/Generating system/Definition

Spanning system

Let be a
field,
and let be a
-vector space.
A family
, ,
is called a * generating system*
(or

*) of , if every vector can be written as*

__spanning system__with a finite subfamily , and with .