Na análise multicritério, com o objetivo de apoiar o processo decisório, torna-se necessário estabelecer certas condições que possam expressar as preferências do agente de decisão quando da comparação de duas ações potenciais. Essas condições são definidas por relações binárias. Uma relação binária H sobre um conjunto A é uma partição do conjunto de pares ordenados AxA. Essa partição gera dois subconjuntos de AxA, o subconjunto B de pares ordenados que estão na relação H e o subconjunto B ⁻ que compreende os pares ordenados que não estão na relação H.

Uma das propriedades clássicas de uma relação binária H sobre um conjunto A é a reflexividade assim representada: