math.la.d.vsp.basis.standard.leq_n
A basis of a vector space is one of the most useful concepts in linear algebra. It often provides a concise, finite description of an infinite vector space.