En matemáticas, la relación inversa o transposición de una relación binaria es la relación que aparece cuando el orden de los elementos es intercambiado en la relación. Por ejemplo, la inversa de la relación «hijo de» es la relación «padre de». En términos formales, si X e Y son conjuntos y L ⊆ X × Y es una relación de X en Y, entonces LT es la relación definida tal que y LT x si y solo si x L y. En notación de constructor de conjuntos, LT = {(y, x) ∈ Y × X | ∈ L}.