Definition:Strict Lower Closure