Definition:Closed Relation
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
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 9.5$