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