Sei ${\displaystyle {}(I,\preccurlyeq )}$ eine geordnete Menge und ${\displaystyle {}J\subseteq I}$ eine Teilmenge. Ein Element ${\displaystyle {}s\in I}$ heißt Infimum von ${\displaystyle {}J}$, wenn ${\displaystyle {}s}$ die größte untere Schranke von ${\displaystyle {}J}$ ist.