Definition:Lower Closure


 * Strict Lower Closure
 * Weak Lower Closure