[1WY]Una relazione fra elementi di due insiemi A,B è definita come un sottoinseme R⊆A×B del prodotto cartesiano. In genere si usa la notazione infissa aRb invece di scrivere (a,b)∈R.