Definizione di relazione Possiamo definire la relazione fra due insiemi A e B in due modi diversi, uno riferito agli insiemi e l'altro agli elementi dei due insiemi: Definiamo relazione R fra due insiemi A e B un qualunque sottoinsieme del prodotto cartesiano AxB Dati due insiemi A e B diciamo che esiste una relazione R fra A e B se esiste una proprieta' che associ a qualche elemento di A un elemento di B cioe' se a A e b B allora per ogni a e per ogni b dobbiamo poter dire se e' valida o meno la proprieta' aRb sulla coppia (a,b) La relazione sara' l'insieme di tutte le coppie (a,b) per cui R e' valida Esempio: Considero gli insiemi A = { 1, 2, 3, 4 } B = { 2, 4, 6 } E considero valida la relazione aRb se vale la proprieta' a<b Come coppie abbiamo che la relazione e' formata da (1,2) (1,4) (1,6) (2,4) (2,6) (3,4) (3,6) (4,6) Come sottoinsieme del prodotto cartesiano abbiamo che la relazione e' formata da