Este documento define y explica las relaciones binarias. Una relación binaria es un subconjunto del producto cartesiano de dos conjuntos X e Y. La relación vincula elementos de X (conjunto de partida) con elementos de Y (conjunto de llegada). Se definen el dominio y rango de una relación, y se explican diferentes formas de representar relaciones binarias como diagramas, matrices y composición de relaciones.