Definition:Trivial Partition/Partition of Singletons

Definition
Let $S$ be a set such that $S \ne \O$.

The partition of singletons on $S$ is defined as:
 * $\PP = \set {\set x: x \in S}$

That is, it is a partition such that every component is a singleton.