Category:Strict Lower Closure is Lower Section