Sobre os conjuntos numéricos, considere as afirmativas a seguir.

I. O produto de dois números irracionais distintos é sempre um irracional.
II. O produto de dois números racionais é sempre um racional.
III. Todo número racional tem sucessor.

Está correto o que se afirma em