En matemàtiques, donat un subconjunt S d'un conjunt parcialment ordenat (P, <), el suprem de S, si existeix, és l'element mínim de P que és major o igual a cada element de S.
Alt.
Extrem.