 Partition of an integer

A partition $\lambda ⊢n$ is a weakly decreasing sequence ${\lambda }_1\ge {\lambda }_2\ge \cdots \ge 0$ with sum $n$.