Bonjour,
Dans le but de préparer une vidéo pour ma chaîne YouTube sur les relations binaires, je cherche à savoir si les relations du type "X est l'inverse de Y", ou "X est l'opposé de Y" ont un nom.
Jusqu'à présent, j'appelle ce genre de relations des "relations involutives", vu qu'elle s'ont liées à des fonctions involutives (inverse, opposé, ...), mais je ne sais pas si ça se dit vraiment.
Plus rigoureusement, je cherche à savoir si la propriété suivante a un nom :
Merci à ceux qui m'aiguilleront !