lower set

lower set

(mathematics)A finite non-empty downward closed subset ofa partial order.