da Nidhogg » 28/01/2006, 01:42
E' molto semplice.
Una relazione R per essere una relazione d'equivalenza deve verificare tre proprietà : R riflessiva, R simmetrica, R transitiva.
R riflessiva $hArr$ aRa $AA a in A$.
R simmetrica $hArr$ aRb $rarr$ bRa, $AA a in A$, quindi se a=b $rarr$ b=a.
R transitiva $hArr$ aRb e bRc $rarr$ aRc, $AA a,b,c in A$.
"Una delle principali cause della caduta dell'Impero Romano fu che, privi dello zero, non avevano un modo per indicare la corretta terminazione dei loro programmi C." - Robert Firth