Let $\RR$ be a relation on a set $S$.
The transitive closure of $\RR$ is defined as the smallest transitive relation on $S$ which contains $\RR$ as a subset.
The transitive closure of $\RR$ is denoted $\RR^+$.
Source citations are highly desirable, and mandatory for all definition pages.
Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted.