Definition:Lower Closure of Subset