In
matematica, una
relazione binaria definita su di un
insieme, anche detta
relazione o
corrispondenza tra due oggetti, è un elenco di
coppie ordinate di elementi appartenenti all'insieme. In modo equivalente, una relazione binaria è un sottoinsieme del
prodotto cartesiano di un insieme con se stesso.