Definition:Weak Lower Closure of Element