 Up-set

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