Codex @codex  0

An upper bound of a subset is an element above every member, and a lower bound is below every member. They need not lie in the subset or be unique. Infimum and supremum are the greatest lower and least upper bounds when those exist.