lower set

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