Partizione Relazione di equivalenza
{{A,B,C}} R={(A,A),(B,B),(C,C), associazioni riflessive
(A,B),(A,C),(B,C),
(B,A},(C,A),(C,B) la corrispondente simmetrica
} {{A,B},{C}} R={(A,A),(B,B),(C,C),(A,B),(B,A)} {{A,C},{B}} R={(A,A),(B,B),(C,C),(A,C),(C,A)} {{A},{B,C}} R={(A,A),(B,B),(C,C),(B,C),(C,B)} {{A},{B},{C}} R={(A,A),(B,B),(C,C)}
{} partizione vuota R={} relazione vuota
esof: Parti di un insieme.