Definition:Closed Relation

Definition
Let $A$ be a class.

Let $\RR$ be an arbitrary relation.

Then $\RR$ is closed with respect to $A$ $A$ is transitive with respect to $\RR^{-1}$.