Definition:Strict Lower Closure

Also known as
The strict upper closure also goes by the names:
 * Strict down-set'
 * Strict down set'
 * Strict lower set'


 * Initial segment (in the context of a well-ordered set

Also see

 * Definition:Lower Closure
 * Definition:Strict Upper Closure