Reflexiva melhorada

Agora só alterar a variavel "S" para a quantidade de elementos no
conjunto S e a variavel "pares" para a quantidade de pares. Mas ainda
não é caso generico para qualquer conjunto ou rho.