divisão de um conjunto em subconjuntos disjuntos e não vazios Da Wikipédia, a enciclopédia livre
Em matemática, dada uma família de índices , dizemos que a família de subconjuntos de um conjunto A é uma partição sobre (ou "de") A caso as três seguintes condições sejam satisfeitas:
Portanto, trata-se de um recobrimento no que os subconjuntos pertencentes à família, dois a dois, são disjuntos (ou seja, sua interseção é vazia).[1]
Seamless Wikipedia browsing. On steroids.