En Álgebra moderna, un ideal es una subestructura algebraica definida en la teoría de anillos.