P ^c _m [t] is a subspace of P ^c _n [t] for m<n.

The set of monomials forms a basis for e^infinity (a,b).