Partition of a set
1. Definition
Sei $Y$ eine Menge, dann ist eine Partition von $Y$ gegeben durch Teilmengen $Y_i \subseteq Y$ für $i \in I$ welche
- paarweise disjunkt sind, d.h. für $i\neq j$ gilt $Y_i \cap Y_j = \emptyset$
- $\bigcup_{i \in I} Y_i$