Joukon  epätyhjä osajoukko  on ylhäältä rajoitettu, jos on olemassa sellainen reaaliluku , että kaikilla  on .
jˈoukon ˌepætˈyhjæ ˌosajˈoukːo on ylhˈæːltæ rˌajoitˈetːu, jˈos on ˌolemˈassa sellˈainen rˌeaːlɪlˈuku , ˈetːæ kˈaikɪlla on .