An ideal in mathematics is a concept from ring theory.