The Clowder Project

Let $X$ be a set.

1. We write $\mathcal{P}_{0}\webleft (X\webright )$ for the set of nonempty subsets of $X$.
2. We write $\mathcal{P}_{\mathrm{fin}}\webleft (X\webright )$ for the set of finite subsets of $X$.