\begin{definition}[Definition:Closed Relation]
Let $A$ be a class.
Let $\RR$ be an arbitrary relation.
Then $\RR$ is '''closed''' with respect to $A$ {{iff}} $A$ is transitive with respect to $\RR^{-1}$.
\end{definition}