Definition talk:Transitive Closure (Set Theory)
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)
I think I erred in naming, for two reasons:
- It appears that the "alternative" definition is more common.
- The "alternative" definition defines a closure operator, while definitions 1 and 2 do not.