Cuando formula_2 es un conjunto finito, digamos formula_16, se dice que el ideal formula_17 es "finitamente generado" y se representa comúnmente por formula_18.