Una relación binaria es una relación entre dos conjuntos. Dado un conjunto A no vacío, una relación R: A→A es un subconjunto de AxA (producto cartesiano).