Definición

Dados dos conjuntos no vacíos A y B, una relación binaria R es un conjunto formado por pares ordenados (a,b). Donde, la primera componente del par está relacionado con la segunda componente, por medio de cierta propiedad o característica.