Chiusura di una relazione
Vediamo come esempio la chiusura transitiva ma il ragionamento è lo stesso per ogni tipologia (riflessiva, simmetrica ecc..)
Data una relazione non transitiva, la sua chiusura transitiva sarà il più piccolo insieme transitivo che ha come sottoinsieme R. In modo più semplice, dobbiamo aggiungere ad R tutti gli elementi necessari a renderla una relazione transitiva.
In alcuni casi una chiusura può essere uguale al prodotto cartesiano stesso.