relación binaria

En matemáticas, una relación binaria es una relación matemática  definida entre los elementos de dos conjuntos  y . Una relación de en se puede representar mediante pares ordenados  para los cuales se cumple una propiedad , de forma que , y se anota:

Que se lee: la relación binaria es el conjunto de pares ordenados pertenecientes al producto cartesiano , y para los cuales se cumple la propiedad que los relaciona.