Upward closure of a set family (source code)

= Upward closure of a set family
{title2=$\overline{\mathcal B}$}

The upward closure of $\mathcal B$ is $\overline{\mathcal B}=\{A:\text{some }B\in\mathcal B\text{ satisfies }B\subseteq A\}$.