Talk:Max Operation Equals an Operand

Either this needs to be renamed to include the fact that the max op in question is on a finite set, or the result itself needs to be expanded to include the infinite case (which may not be the correct in the case). --prime mover (talk) 19:16, 27 December 2020 (UTC)


 * I'll rename it Max Operation Equals an Operand --Leigh.Samphier (talk) 05:26, 28 December 2020 (UTC)


 * While I'm at it, Ill rename:
 * Max yields Supremum of Operands
 * Max yields Supremum of Parameters
 * Max yields Supremum of Parameters/General Case
 * to
 * Max Operation Yields Supremum of Operands
 * Max Operation Yields Supremum of Parameters
 * Max Operation Yields Supremum of Parameters/General Case
 * respectively. --Leigh.Samphier (talk) 05:35, 28 December 2020 (UTC)


 * Yes, that sounds like a plan. That distinguishes between the "max operator" (operating on a finite number of operands) and the "max" function whose operand is a set which may or may not be infinite, and whose behaviour is more slippery. Good job. --prime mover (talk) 11:59, 28 December 2020 (UTC)