Definition. (Maximum, Minimum)

Sei $M\subseteq IR$ und $M\ne \varnothing .$

(1) $M$ besitzt ein Maximum

  =Df Es existiert ein $a\in M$, so daß $x\le a$ für jedes $x\in M.$

      Bez.: $a=maxM$ ($a$ heißt Maximum von $M$).

(2) $M$ besitzt ein Minimum

  =Df Es existiert ein $a\in M$, so daß $a\le x$ für jedes $x\in M.$

      Bez.: $a=minM$ ($a$ heißt Minimum von $M$).