Relações de Equivalência, que buscam generalizam a ideia de “igualdade”. Elas agrupam elementos que compartilham uma característica em comum, particionando o conjunto em “caixas” distintas, onde todos os elementos dentro de uma mesma caixa são considerados equivalentes sob o critério da relação. E Relações de Ordem que estabelecem uma hierarquia ou uma forma de precedência entre os elementos. O exemplo mais intuitivo é a relação “menor ou igual que” (≤) nos números reais. No entanto, nem sempre é possível comparar todos os elementos de um conjunto, levando ao conceito de ordem parcial.