Un ideal es una subestructura algebraica definida en la teoría de anillos.