En logiko kaj matematiko, la inversa rilato de duargumenta rilato ${\displaystyle L\subseteq X\times Y}$ estas la duargumenta rilato ${\displaystyle L^{-1}\subseteq Y\times X}$ difinita per ${\displaystyle L^{-1}=\{(y,x):(x,y)\in L\}}$.

La inversa rilato estas ankaŭ nomita la rea rilato kaj povas esti skribita kiel ${\displaystyle L^{C}\!}$, ${\displaystyle L^{T}\!}$ aŭ ${\displaystyle {\breve {L}}}$.

Aparte, la inversa rilato de funkcio ${\displaystyle f:X\to Y}$ estas la duargumenta rilato ${\displaystyle f^{-1}\subseteq Y\times X}$ difinita per ${\displaystyle f^{-1}=\{(y,x):(x,y)\in f\}}$. Ne bezone la inversa rilato de funkcio estas mem funkcio. En la okazo ke ĝi estas funkcio, ĝi nomiĝas kiel la inversa funkcio de la fonta funkcio.

Vidu ankaŭ

• Dissurĵeto (bijekcio)
• Duargumenta rilato
• Funkcio
• Inversa funkcio
• Rilato (matematiko)