Definition:Lower Closure of Element