# Definition:Transitive Relation/Definition 2

## Definition

Let $\RR \subseteq S \times S$ be a relation in $S$.

$\RR$ is transitive if and only if:

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

where $\circ$ denotes composite relation.

## Also see

• Results about relation transitivity can be found here.