Talk:Transitive Closure Always Exists (Set Theory)

The definition of transitive closure is a tad vague. This page assumes the transitive closure of $S$ is its smallest transitive superset. S & F define it as the smallest set of which $S$ is an element. --Dfeuer (talk) 19:03, 6 April 2013 (UTC)

Again, so there are two different definitions. Usual procedure. --prime mover (talk) 19:43, 6 April 2013 (UTC)

Maybe there is and maybe there ain't. I only have a source for one of them so far. In any case, they are not equivalent, although (much like the matter of the class of all ordinals) the choice of definition is ultimately not terrifically important. --Dfeuer (talk) 20:29, 6 April 2013 (UTC)