Talk:Closure is Closed

Seems like a half-finished job of refactoring has been attempted here. Anyone care to explain what the intention behind the page naming convention used here is? --prime mover (talk) 10:08, 5 March 2013 (UTC)

I've worked it out. This page can in theory be just renamed to "Closure is Closed" and it will then be the most general instance of its type. The original page with that name has been renamed to "Topological Closure is Closed" and can be linked to from here (or transcluded if you're brave) as an instance of this.

Two important things need to be done:

1. Most important, cannot stress this enough: every instance of links to the existing Closure is Closed page needs to be changed to link to Topological Closure is Closed
2. Just to close the circle of definitions, so to speak, a Definition:Closed Set (Topology) in the sense of topological closure needs to be demonstrated (trivial as it is) to be an instance of a Definition:Closed Element in the context of a general Definition:Closure Operator.

Once this has all been done, the whole concept of Definition:Closure (Topology) can then be migrated to be an instance (transcluded, with appropriate page renaming) of the Definition:Closure Operator.

The moral of this story: it pays to work out in advance what the general big picture is before picking at the edges - a refactoring job such at this needs to be attacked strategically. In this situation I know what I'm talking about because I have been doing this sort of job for the last 20 years or so. --prime mover (talk) 10:57, 5 March 2013 (UTC)

Task 1 of the above has been done. This page can now be renamed to Closure is Closed. Feel free to discuss before this is done. --prime mover (talk) 11:25, 5 March 2013 (UTC)

I didn't want to propose a major refactoring job until I had enough results up to justify it, so I tucked them away behind the topological ones until we figured out where to go. Thanks for working it out. --Dfeuer (talk) 15:09, 5 March 2013 (UTC)

Just one more point: It helps to inform one's fellow contributors when the refactoring (including published preparation) is smeared out over a larger period of time, like in this particular case. This will reduce misunderstanding and resulting annoyance, as well as give others the chance to drop suggestions beforehand, thus potentially saving double work (if a suggestion done afterwards is considered "better enough" to do it again). But in the end: progress :). — Lord_Farin (talk) 15:16, 5 March 2013 (UTC)

Sorry about this, I did what I could but my time has been limited this week because of factors outside the control of anyone in this mortal universe - I shouldn't have taken this one on board when I did ... I can catch up on it properly tomorrow when I've had a full and proper night's sleep. Apologies for leaving it in an unacceptable state. --prime mover (talk) 20:38, 6 March 2013 (UTC)

It goes without saying that real-life concerns far outweigh the measly standards of some online voluntary collaborative force. — Lord_Farin (talk) 21:56, 6 March 2013 (UTC)

Rename complete

This has now completed its migration from its start as Closure is Closed/Closure Operator (Order Theory) via Topological Closure is Closed/Closure Operator (Order Theory) and Closure is Closed/Ordering to where it sits now. I have recorded the history of this migration on this page so as to allay confusion as to what happened. --prime mover (talk) 20:50, 6 March 2013 (UTC)