# Inverse of Transitive Relation is Transitive/Proof 2

Jump to navigation Jump to search

## Theorem

Let $\RR$ be a relation on a set $S$.

Let $\RR$ be transitive.

Then its inverse $\RR^{-1}$ is also transitive.

## Proof

Let $\RR$ be transitive.

Thus by definition:

$\RR \circ \RR \subseteq \RR$

Thus:

 $\ds \RR^{-1} \circ \RR^{-1}$ $=$ $\ds \paren {\RR \circ \RR}^{-1}$ Inverse of Composite Relation $\ds$ $\subseteq$ $\ds \RR^{-1}$ Inverse of Subset of Relation is Subset of Inverse

$\blacksquare$

Hence the result by definition of transitive relation.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}