A basis of a modular system M is any set of polynomials B_1, B_2, ... of M such that every polynomial of M is expressible in the form R_1 B_1 + R_2 B_2 + ..., where R_1, R_2, ... are polynomials.