Hvis er en delmengde av en større mengde , så vil maksimum til eksistere kun dersom har en øvre skranke i . Hvis maksimum eksisterer, så vil supremum og maksimum til være like.