Réflexivité

Réflexivité d'une relation binaire dans un ensemble :