En cualquier caso, esta última definición coincide con la de conjunto algebraico afin irreducible.