Definition:Closed Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a class.

Let $\mathcal R$ be an arbitrary relation.

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


Sources