The vector space span of two vectors and
in a real vector space
is the subspace
A set of vectors can be tested to see if they form a spanning
set of
-dimensional
space using the following Wolfram Language
function:
SpanningVectorsQ[m_List?MatrixQ] :=
(NullSpace[m] == {})