Relações binárias são um conceito fundamental na teoria dos conjuntos e na matemática em geral. Uma relação binária em um conjunto A é simplesmente um subconjunto do produto cartesiano A x A, ou seja, é uma coleção de pares ordenados onde o primeiro elemento de cada par é um elemento de A, além da relação existente de do conjunto com ele mesmo, ainda podemos ter relações entre conjuntos distintos.
