Talk:Supremum of Set of Real Numbers is at least Supremum of Subset

New page name
I suggest the following new page name: Supremum of Set of Real Numbers not less than Supremum of Subset --Ivar Sand (talk) 08:12, 28 November 2017 (EST)
 * Sounds good. Or perhaps "(is) at least" instead of "not less than". --barto (talk) (contribs) 14:08, 28 November 2017 (EST)
 * Thanks, I agree. I prefer: Supremum of Set of Real Numbers is at least Supremum of Subset. --Ivar Sand (talk) 03:43, 30 November 2017 (EST)

I suppose that the names of the three subpages Supremum of Subset is Less Than or Equal to Supremum of Set/Proof 1, ... /Proof 2 and ... /Proof 3 must be changed accordingly. But must also a name change be done for the category Supremum of Subset is Less Than or Equal to Supremum of Set‎? --Ivar Sand (talk) 06:11, 1 December 2017 (EST)
 * Yes, I think the category should match the page name. --barto (talk) (contribs) 15:00, 1 December 2017 (EST)

So we agree on the name changes. There are four pages and one category to be renamed. In addition, all pages referencing them must be updated. It seems that I don't have enough privileges to do the name changes, but I can update the referencing pages if someone else does the name changes. --Ivar Sand (talk) 05:52, 4 December 2017 (EST)
 * Sorry for the delay; I don't mind doing it. --barto (talk) (contribs) 11:07, 4 December 2017 (EST)
 * That's ok, barto, and thanks for your work. With a bit of cooperation tasks get done faster! --Ivar Sand (talk) 05:46, 7 December 2017 (EST)