Finite powerset

Given a set A, its finite powerset \mathcal{P}_\text{fin}(A) is defined to be the set of its finite powersets.

In symbols:

  \mathcal{P}_\text{fin}(A) = \{ X \subseteq A \mid A \text{ finite} \}