## Definition

Let $A$ be a commutative ring with unity.

Let $I$ be an ideal of $A$.

Then $I$ is a radical ideal if and only if it is equal to its radical.

## Also known as

A radical ideal is also known as a semiprime ideal.