Composition of Binary Relations

107 Views Asked by At

In Jech's Intro. to Set Theory Problem 2.3 f

$R^{-1}[R[A]] \supseteq A \cap dom R $. Can I say that $R^{-1}[R] $ should be the identity relation and hence the above simplifies to $A \supseteq A \cap dom R$ which is true.