Category:Strict Lower Closure is Lower Set