La relation réciproque d’une relation \(\mathcal{R}\) de X dans Y est la relation de Y dans X, telle que, pour tous les éléments du domaine de \(\mathcal{R}\), si y = \(\mathcal{R}\)(x), alors x = \(\mathcal{R}^{-1}\)(y).
Notation
La relation réciproque d’une relation \(\mathcal{R}\) est notée \(\mathcal{R}^{-1}\).
Exemple
La relation réciproque de la relation « … divise sans reste … » dans l’ensemble des nombres naturels est la relation « … est un multiple non nul de … ».