Em teoria dos anéis, um ramo da álgebra abstrata, um ideal é um subconjunto especial de um anel. O conceito generaliza de uma maneira apropriada algumas importantes propriedades dos inteiros como "número par" e "múltiplo de 3".