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