Definition:Lower Closure

Also see

 * Upper Closure
 * Strict Down-Set