Definition:Strict Lower Closure of Subset