Definition:Strict Lower Closure of Element (Class Theory)