En teoría de anillos, un ideal "I" es un subconjunto de un anillo "A" tal que