Describir: Set-theoretic mereology