Definición de la condición de cadena descendente (DCC) y de los anillos artinianos