Test de la réflexivité d'une relation matérialisée
par une matrice de booléens

On considère une relation d'ordre total quelconque portant sur des couples d'éléments d'un ensemble E quelconque.
Cette relation est qualifiée de réflexive si, quel que soit l'élément e de E, e est en relation avec e.
Si n est le cardinal de E, la relation peut être représentée par une matrice n*n carrée de booléens.
Ecrire une fonction de test de la réflexivité d'une relation matérialisée par une telle matrice de booléens.

Auteur: Nicolas JANEY
UFR Sciences et Techniques
Université de Besançon
16 Route de Gray, 25030 Besançon
nicolas.janey@univ-fcomte.fr