Partition

Given a set $X$, say $Y\subseteq \mathcal{P}X$ is a partition iff Every point $x\in X$ exists in exactly one set $x\in S\in Y$.