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