Un hecho que se deduce a partir de la definición de un ideal generado y de la de un ideal cualquiera es que