Talk:Transitive Closure of Reflexive Relation is Reflexive

The proof given doesn't seem like it is proving what it wants to prove. It ought to begin with "a in T," not "a in S." Rschwieb (talk) 14:57, 29 January 2014 (UTC)


 * Sorry? "$\mathcal T \subseteq S\times S$ reflexive" means $\forall a \in S: (a,a)\in T$. So it seems fine to me. &mdash; Lord_Farin (talk) 15:00, 29 January 2014 (UTC)


 * Sorry, you're right, what I wrote was nonsense. I see what's going on now! Rschwieb (talk) 15:04, 29 January 2014 (UTC)