Definition:Closed Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a class.

Let $\RR$ be an arbitrary relation.

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


Sources