Definición y lógica de construcción de anillos cociente