# data[].attributes.body
è un sottoinsieme del cartesiano tra dominio e codominio che rende vera la relazione

# data[].attributes.body
è il sottoinsieme dell'insieme di partenza da cui parte almeno un collegamento.

# data[].attributes.body
è il sottoinsieme dell'insieme di arrivo da cui parte almeno un collegamento

# data[].attributes.body
una relazione è definita nello stesso insieme

# data[].attributes.body
gli enunciati sono tutti veri sostituendo lo stesso elemento nella relazione
ESEMPIO x ha la stessa età di y

# data[].attributes.body
non è mai vero che a è in relazione con se stesso

# data[].attributes.body
se a è in relazione con b allora b è in relazione con a.
ESEMPIO a abita nella stessa città di b

# data[].attributes.body
a non è mai in relazione con b e b non è mai in relazione con a

# data[].attributes.body
se a è in relazione con b e b è in relazione con c allora c è in relazione con a .
ESEMPIO a ha la stessa auto di b

# data[].attributes.body
una relazione gode della proprietà:
- RIFLESSIVA
- SIMMETRICA
-TRANSITIVA

# data[].attributes.body
una relazione gode delle proprietà
TRANSITIVA, ANTIRIFLESSIVA, ANTISIMMETRICA.

# data[].attributes.body
la relazione gode delle proprietà
TRANSITIVA, RIFLESSIVA, ANTISIMMETRICA.

# data[].attributes.body
una relazione è una funzione quando ad ogni elemento di A corrisponde un solo elemento di B.

# data[].attributes.body
la funzione è sia suriettiva che iniettiva.

# data[].attributes.body
ogni elemento dell'insieme B ha come immagine almeno un elemento dell'insieme A.

# data[].attributes.body
ogni elemento dell'insieme B ha una sola immagine di A