En matemáticas, dado un subconjunto S {\displaystyle S} de un conjunto parcialmente ordenado {\displaystyle \left}, el supremo de S {\displaystyle S}, si existe, es el mínimo elemento de P {\displaystyle P} que es mayor o igual a cada elemento de S {\displaystyle S}. Wikipedia