Definition:Lower Closure of Element (Class Theory)