En matemáticas, una relación binaria es una relación matemática formula_1 definida entre los elementos de dos conjuntos formula_2 y formula_3.