Upper and lower bounds (source code)

= Upper and lower bounds
{wiki}

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.