Talk:Reflexive Closure is Reflexive

JshFlynn: this appears to duplicate work done in the equivalence proof. My current suggestion is that this proof be moved to Union of Relation with Diagonal Relation is Reflexive, and then this page can offer a link to that as one proof, and a link to the definition of reflexive closure as smallest containing reflexive relation as the other proof? --Dfeuer (talk) 18:52, 2 March 2013 (UTC)

Note, if my suggestion happens, the equivalence proof will need to link to Union of Relation with Diagonal Relation is Reflexive. --Dfeuer (talk) 18:53, 2 March 2013 (UTC)

Eagerness appreciated, but it is general best to either coordinate the approach beforehand, or elect a single person to work something out. That will ensure such duplication is avoided. (Note: I didn't actually check that there is duplication. If not, consider this only a general remark.) — Lord_Farin (talk) 19:50, 2 March 2013 (UTC)