Sia I un ideale di un anello commutativo unitario A.

L’ideale I è radicale se: