Definition:Upper Closure

Also see

 * Lower Closure
 * Strict Up-Set