relazione inversa
relazione inversa di una data relazione ρ definita su un insieme A, è la relazione ρ−1 su A tale che a ρ−1 b se e solo se b ρ a. Per esempio, nell’insieme Z dei numeri interi sono tra loro inverse le relazioni «essere multiplo» ed «essere divisore» (→ relazione; → funzione inversa).