Maksimum og minimum

I matematik er maksimum og et minimum henholdsvis det største og mindste element i en mængde.

Definition

Hvis $a$ er maksimum i en mængde $M$, så er ethvert vilkårligt element $x$ i $M$ mindre end eller lig dette (i fald det vilkårlige element jo skulle være $a$ selv). Dette kan skrives symbolsk:

$\forall x\in M:x\leq a$

For minimum er omvendt alle elementer større end eller lig dette minimum $b$:

$\forall x\in M:b\leq a$

Definitionerne her forudsætter, at der er en total ordning på mængden M, så at ulighedstegnet og dermed ulighedstegnet har en mening; mere mundret kan man forestille sig, at man skal have klargjort, hvad udtrykkene "størst" og "mindst" betyder.

For mængde, der ikke har maksimum eller minimum kan man i stedet se, om den så i hvert fald har supremum og infimum.