Definition:Upper Closure


 * Strict Upper Closure
 * Weak Upper Closure