Up-set (source code)

= Up-set
{wiki=Upper_set}

An up-set is a family $\mathcal U$ such that $A\in\mathcal U$ and $A\subseteq B$ imply $B\in\mathcal U$.

= Increasing set family
{synonym}