(set theory) English Wikipedia has an article on:supremumWikipedia : Given a subset X of R, the smallest real number that is ≥ every element of X; : given a subset X of a partially ordered set P (with partial order ≤), the least element y of P such that every element of X is ≤ y.