Definition talk:Transitive Closure (Set Theory)

From ProofWiki
Jump to: navigation, search

Why is this in the Relational Closure category? Surely the page Definition:Transitive Closure (Relation Theory) needs to go in here instead? Or am I missing something? --prime mover (talk) 06:27, 21 August 2012 (UTC)

This transitive closure of a set (this definition) is a special case of relational closure. More specifically, the transitive closure of $A$ is the relational closure of $A$ with respect to $\in$. The other page may fit here, too, however. --Andrew Salmon (talk) 15:56, 21 August 2012 (UTC)
Sorry, just that there's no indication on this page that it's anything to do with a relational closure. The latter concept isn't even defined yet. Usually best to work forward rather than backward, otherwise it's easy to get confusion happening. --prime mover (talk) 16:45, 21 August 2012 (UTC)
Not to mention ambiguity, lack of consistence and duplication issues... I even skip some parts of books in order to be able to cover them properly (usually more rigorous than the original author) later. --Lord_Farin (talk) 16:49, 21 August 2012 (UTC)


I think I erred in naming, for two reasons:

  1. It appears that the "alternative" definition is more common.
  2. The "alternative" definition defines a closure operator, while definitions 1 and 2 do not.

Prime.mover, can you rename things, after which I can try to do the link-tracing that was needed anyway? --Dfeuer (talk) 21:10, 12 April 2013 (UTC)