(definizione di Adolfo Piperno)

Una relazione fra A e B è un qualunque sottoinsieme di A×B.

(definizione di Federico Pellarin)

In una relazione dove e se si dice che è in relazione con . Con la notazione si dice .