Definition:Upper Section

Also see

 * Equivalence of Upper Set Definitions
 * Upper Closure is Closure Operator


 * Lower Set
 * Upper Closure