Définition 1.2 Soit E un ensemble et R une relation sur E. On dit que R est : (i)
réflexive si aRa pour tout a ? E ;. (ii) transitive si aRb et bRc entra?nent aRc pour
tout a, b, c ? E ;. (iii) symétrique si aRb entra?ne bRa pour tout a, b ? E. On dit
que R est une relation d'équivalence si elle est réflexive, transitive et symétrique. 
