@Eric de Trévarez
’’Réflexivité, symétrie et transitivité sont des propriété de la relation d’égalité ...’’
En l’occurrence, ce terme ’propriétés’ ne s’appliquent pas à une relation mais à des opérations. Nuance.
la réflexivité ce n’est pas a = a, c’est absurde !
en revanche, on peut écrire a + b = b + a parce que l’addition est une opération réflexive. De même pour la multiplication : a * b = b * a
la division ne l’est pas : a / b est différent de b / a