Definition:Upper Closure

Also see

 * Upper Closure is Closure Operator


 * Lower Closure
 * Strict Up-Set