Una relación binaria es una relación matemática entre elementos de dos conjuntos. El dominio de una relación es el conjunto de valores independientes posibles, mientras que el rango es el conjunto de valores dependientes posibles. Las relaciones se pueden representar de varias formas, incluyendo tablas, matrices, gráficos y formas cartesianas o sagitales. La composición de relaciones requiere que el conjunto de llegada de una relación sea igual o esté contenido en el conjunto de partida de la siguiente relación.