7.12.12 Maximum, minimum, and positive difference functions