I matematikk er en til en delmengde av en ordnet mengde et element i mengden som er større eller lik alle elementer i delmengden. Tilsvarende defineres en .