Definición por extensión y por comprensión la relación inversa de una relación binaria dada

 

• Extensión 

Para definir una relación binaria inversa únicamente invertiremos el orden de todos y cada uno de los pares ordenados que se tienen.

Ejemplo: R={(1,1),(1,2),(2,2)}      → R^-1 = {(1,1),(2,1),(2,2)}

Es decir, "La inversa de una relación R sobre AxB se denota con R^-1 y es una relación definida sobre BxA:

R^1={(b,a)|(a,b) pertenencen a R}

• Comprensión 

En esta deberemos hacer que se invierta la relación que queremos dar a entender, con el detalle que deberá tener en términos prácticos el mismo significado que la normal.

Ejemplo: R={(x,y)|x es papá de y}

           R^-1={(x,y)|y es hijx de x}