Una relazione tra due insiemi A e B è un insieme di coppie formate ognuna da un elemento di A, e da uno di B; i due elementi si dicono allora in relazione. Il primo insieme si dice dominio della relazione, il secondo codominio. Dal momento che il prodotto cartesiano di due insiemi A e B è definito come l'insieme di tutte le possibili coppie di questo tipo, si può anche definire la relazione tra gli insiemi A e B, come un qualsiasi sottoinsieme del prodotto AxB. Il concetto di relazione tra due insiemi può poi facilmente estendersi anche al caso di più insiemi: Una relazione tra n insiemi A1, A2, A3 ... An è un insieme di ennuple (o tuple) nelle quali il primo elemento appartiene ad A1, il secondo ad A2, il terzo ad A3 ... l'ennesimo ad An. Un modo efficace di rappresentare la relazione è per mezzo di una tabella di n righe x m colonne; una colonna per ogni insieme, una riga per ogni ennupla.
Tutto quanto riportato in questa pagina è a puro scopo informativo personale. Se non ti trovi in accordo con quanto riportato nella pagina, vuoi fare delle precisazioni, vuoi fare delle aggiunte o hai delle proposte e dei consigli da dare, puoi farlo mandando un email. Ogni indicazione è fondamentale per la continua crescita del sito.