Na
matemática e na
lógica, uma
relação binária ou
2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática para definir conceitos como por exemplos: "é múltiplo" e "maior que" da aritmética; "é congruente" da geometria; e outros.