Por lo tanto consideremos algún conjunto "P" y una relación binaria ≤ en "P".