Go backward to Minimum and Maximum QuantifierGo up to TopGo forward to Sum Quantifier |

min( S):= min _{x}xinS;max( S):= max _{x}xinS;

Examples:

- We have
max

_{x}(isprime(`x`) /\`x`| 100) = 5. - The value of
min({1/

is undefined, because for every`x`:`x`in**N**_{> 0}})`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).

Author: Wolfgang Schreiner

Last Modification: November 16, 1999