R\circ R^{-1} \subseteq I_{A}