En vista de las consideraciones anteriores, la definición de un conjunto de monomios ha de ser la siguiente: