Define a basis of a vector space

Let V a vector space. And B a subset of elements in V.

B is a basis for V if satisfies the following conditions:

1. V = span (B). It means that every element of V can be written as a finite linear combination of elements of B.

2. B is a linear independent subset.