Definition:Lower Closure

Also see

 * Definition:Upper Closure
 * Definition:Strict Down-Set