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