exemplo de prova sobre propriedades de relações binárias
Atualizações sobre ordens parciais