Adicionando propriedades e mais 4 relações

Adicionando propriedades e mais 4 relações, verificação da relação 3 que
não era transitiva
Merge pull request #1 from hcb13/matematica_discreta

Adicionando propriedades e mais 4 relações