Inversa rilato

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

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

Aparte, la inversa rilato de funkcio $f : X \to Y$ estas la duargumenta rilato $f^{-1} \subseteq Y \times X$ difinita per $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)