Todos os elementos do conjunto R são elementos do conjunto S e todos os elementos do conjunto R gozam da propriedade p. Sabendo que R não é um conjunto vazio, conclui-se que
existem elementos do conjunto S que não gozam da propriedade p.
pelo menos um elemento do conjunto S goza da propriedade p.
todos os elementos que gozam da propriedade p são elementos de R.