Describir: Quantum mereology in finite quantum mechanics