In der
Mathematik treten die Begriffe
Supremum und
Infimum sowie
kleinste obere Schranke bzw.
größte untere Schranke bei der Untersuchung
halbgeordneter Mengen auf. Anschaulich ist das Supremum eine obere
Schranke, die kleiner als alle anderen oberen Schranken ist. Entsprechend ist das Infimum eine untere Schranke, die größer als alle anderen unteren Schranken ist. Wenn ein Supremum oder Infimum existiert, ist es eindeutig bestimmt. Das Konzept wird in unterschiedlichen Abwandlungen in fast allen mathematischen Teilgebieten verwendet.