Uma outra forma de pensarmos essa "taxonomia de conjuntos disjuntos" é considerar a árvore de diretórios de um sistema operacional, como Linux ou Windows, na sua forma mais básica (sem links lógicos).