Reflexiva

Implementada a propriedade reflexiva, mas com "tamanho" do conjunto S e rho definidos.