Down-closure

Summary

The down-closure of a subset $S$ of a partially ordered set is the set of all elements that lie below some element of $S$. It is the smallest lower set that contains $S$. The down-closure of a single element $x$ is the principal down-set $\downarrow x$ of all elements below $x$.