Max Operation Yields Supremum of Operands