Elemento supremo e ínfimo

En matemáticas, dado un subconjunto

de un conjunto parcialmente ordenado

, si existe, es el mínimo elemento de

que es mayor o igual a cada elemento de

De forma análoga, se define el ínfimo

, y se suele denotar por

un subconjunto no vacío de

Un conjunto A de números reales (representados por círculos azules), un conjunto de cotas superiores de A (círculos rojos), y el mínimo de las cotas superiores, el supremo de A (diamante rojo).