Definition:Upper Closure

Also see

 * Upper Closure is Closure Operator


 * Definition:Lower Closure
 * Definition:Strict Up-Set