minmax1 http://www.openmath.org/cd/minmax1.ocd 2003-04-01 2001-03-12 2 0 official relation1 set1 This CD holds the definitions of min and max. min This symbol denotes the unary minimum function which takes a set as its argument and returns the minimum element in that set. Representation of the equation minimum{1,9,5} = 1. 1 9 5 1 max This symbol denotes the unary maximum function which takes a set as its argument and returns the maximum element in that set. Representation of the equation maximum{1,9,5} = 9. 1 9 5 9