Partição de um conjunto
divisão de um conjunto em subconjuntos disjuntos e não vazios / De Wikipedia, a enciclopédia encyclopedia
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:
- para todo .
- .
- .
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]