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