Sejam Q e I os conjuntos dos números racionais e dos irracionais, respectivamente. Então, sempre é verdadeira a afirmação: a) x E I; y E I => x+y E I
b) x E I; y E I => x.y E I
c) x E I; y E I => x-y E I, com x diferente de y
d) x E Q; y E I => x/y E Q
Diz aqui que a resposta é a letra c mas não estendi o porquê?