Spanning set (source code)

= Spanning set

A subset $S$ of a <vector space> is a spanning set when its <linear span> is the whole vector space.