Definition:Strict Lower Closure

Also known as
The strict lower 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