Talk:Composition of Relations is Associative
Jump to navigation
Jump to search
In the final section of this proof, I don't believe <math>S_1</math> 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)
- Good catch. Corrected accordingly. --prime mover 16:21, 20 September 2011 (CDT)
- Yay I knew a thing! (ps that IP was me, just created an account) --Tahnok 19:41, 20 September 2011 (CDT)