untere Schranke

Sei \(M\) eine Menge mit Halbordnung. Dann ist \(K \in \mathbb{K}\) eine untere Schranke wenn gilt

\begin{align*} \forall x (x \in M \Rightarrow x \geq K) \end{align*}