Antiréflexif

L'antiréflexif est un terme utilisé principalement dans les mathématiques pour caractériser une propriété des relations binaires au sein d'un ensemble. Cette propriété stipule qu'aucun élément de cet ensemble n'est en relation avec lui-même.

Dans le cadre des relations d'ordre, une relation antiréflexive signifie que deux éléments distincts ne peuvent pas être comparés l'un à l'autre en termes de grandeur ou de valeur. Ainsi, une relation antiréflexive garantit l'absence d'ambiguïté lors de la comparaison des éléments de l'ensemble.

En somme, le mot « antiréflexif » décrit une situation où il est impossible qu'un élément soit en relation avec lui-même, assurant ainsi une distinction claire entre les différents éléments d'un ensemble.