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)