Talk:Composition of Relations is Associative

In the final section of this proof, I don't believe $$S_1$$ was ever defined in this proof. I think it should be $$Dom(\mathcal R_1)$$ --142.157.7.21 14:23, 20 September 2011 (CDT)