"supremum" -
key terms from Wikipedia
if
the
supremum
exists
supremum
supremum
of
a
set