Definition talk:Closure Operator/Ordering

From ProofWiki
Jump to navigation Jump to search

I think this should be merged with Definition:Closure Operator rather than be artificially separated. Similar to continuous being separated between real and topological case. — Lord_Farin (talk) 08:22, 4 March 2013 (UTC)

At the very least the master/transclusion technique should be used. --prime mover (talk) 08:41, 4 March 2013 (UTC)
I'll think about how to merge, but not tonight. --Dfeuer (talk) 08:49, 4 March 2013 (UTC)
Thank you PM; it looks great. — Lord_Farin (talk) 10:01, 5 March 2013 (UTC)
We may want to rethink the specific categories the individual pages (and their redirects) go into. --prime mover (talk) 10:06, 5 March 2013 (UTC)

rename

No, it's good as it is. --prime mover (talk) 20:45, 6 March 2013 (UTC)