La relation réciproque d'une relation [latex]\mathcal{R}[/latex] de X dans Y est la relation de Y dans X, telle que, pour tous les éléments du domaine de [latex]\mathcal{R}[/latex], si y = [latex]\mathcal{R}[/latex](x), alors x = [latex]\mathcal{R}^{-1}[/latex](y).