lower set

from The Free On-line Dictionary of Computing (8 July 2008)
lower set

   <mathematics> A {finite} non-empty {downward closed} subset of
   a {partial order}.

   (1999-03-17)
    

[email protected]