Gornja i donja međa

Gornja međa (gornja ograda, gornja granica) je pojam iz teorije skupova. To je element m uređena skupa $(L,\le )$ takav da je svaki element $x\in X$ danoga podskupa $X\subseteq L$ manji ili jednak $m$. Donja međa (donja ograda, donja granica je element $m\in L$ koji je manji od svakoga elementa ili jednak svakomu elementu $x\in X$ za dani podskup $X$ uređenoga skupa $(L,\le )$.

Najmanja gornja međa je supremum skupa L. Najveća donja međa je infimum skupa L.