Talk:Equivalence of Definitions of Transitive Closure (Relation Theory)/Intersection is Smallest

Probably a proof along the characteristics that the intersection of transitive relations is transitive, well, shortly, like Existence and Uniqueness of Sigma-Algebra Generated by Collection of Subsets can be made. Nice and intrinsic. --Lord_Farin 18:07, 6 April 2012 (EDT)
 * I don't follow you ... --prime mover 18:09, 6 April 2012 (EDT)
 * Usually, there is some trivial structure (like the power set, or Cartesian product in the present case) both encompassing the structure that is to be expanded and having the desired properties.
 * Mostly, when one speaks about the smallest ladidada, this is WRT subset relation, and that usually implies that ladidada is preserved under arbitrary intersection. So the proof for ref'd results almost literally carries over. --Lord_Farin 18:14, 6 April 2012 (EDT)
 * I confess that this-all is actually somewhat outside my comfort zone - I posted it up when I was doing some specific research on graph theory for a java project for my day-job, and the pages on WP of R- S- and T-closure had direct relevance and looked interesting enough to post up. Beyond what I needed for work (which Neal Stephenson coincidentally covered directly in his Anathem novel) I know too little to be able to continue down this route. Feel free to take it from here. --prime mover 03:33, 7 April 2012 (EDT)