Source : Free On-Line Dictionary of Computing

lower set
     
         A {finite} non-empty {downward closed} subset of
        a {partial order}.
     
        (1999-03-17)