Em matemática, dada uma família de índices I ⊆ N {\textstyle I\subseteq \mathbb {N} }, dizemos que a família P = { A i } i ∈ I {\textstyle P=\{A_{i}\}_{i\in I}} de subconjuntos de um conjunto A é uma partição sobre A caso as três seguintes condições sejam satisfeitas: A i ≠ ∅ {\displaystyle A_{i}\neq \emptyset } para todo i ∈ I {\displaystyle i\in I}. Wikipedia