Definition:Trivial Partition/Partition of Singletons

From ProofWiki
Jump to navigation Jump to search

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.