Considere algún conjunto "P" y una relación binaria "R" en "P".