Go backward to Minimum and Maximum Quantifier Go up to Top Go forward to Sum Quantifier

Minimum and Maximum Function

min(S)	:=	minx x in S;
max(S)	:=	maxx x in S;

Examples:

• We have

  max_x (isprime(x) /\  x | 100) = 5.

• The value of

  min({1/x: x in N_{> 0}})

  is undefined, because for every x in {1/1, 1/2, 1/3, 1/4, ...} there is always an y in this set with y < x, namely 1/(x+1).