lower set

A finite non-empty downward closed subset of a partial order.