Que sont les relations réflexives sur un ensemble ?
Une relation réflexive sur un ensemble est une relation binaire valable pour chaque élément de l'ensemble. En d'autres termes, une relation réflexive est une relation dans laquelle chaque élément est lié à lui-même. Par exemple, considérons l'ensemble A = {1, 2, 3}. La relation « est égal à » est réflexive sur A car tout élément de A est égal à lui-même. En d'autres termes, 1 = 1, 2 = 2 et 3 = 3. D'autre part, la relation "est inférieur à" n'est PAS réflexive sur A car tous les éléments ne sont pas inférieurs à eux-mêmes. Dans ce cas, 1 < 1, 2 < 2 et 3 < 3 sont tous de fausses déclarations.