Definition:Strict Lower Closure of Element